Luis Fariñas del Cerro, Ewa Orlowska. DAL - A Logic for Data Analysis. Theoretical Computer Science, 36:251-264, 1985.
@article{CerroO85, title = {DAL - A Logic for Data Analysis}, author = {Luis Fariñas del Cerro and Ewa Orlowska}, year = {1985}, tags = {analysis, data-flow, logic, data-flow analysis}, researchr = {https://researchr.org/publication/CerroO85}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {36}, pages = {251-264}, }