A unifying view of abstract domain design

ACM Computing Surveys

Volumn 28, Issue 2, 1996, Pages 333-336

  Filé', Gilberto ^a   Giacobazzi, Roberto ^b   Ranzato, Francesco ^a  

^a UNIVERSITY OF PADOVA   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001052191     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/234528.234742     Document Type: Article

References (9)

1. CODISH, M., MULKERS, A., BRUYNOOGHE, M., GARCÍA DE LA BANDA, M., AND HERMENEGILDO, M. 1995. Improving abstract interpretations by combining domains. ACM Trans. Program. Lang. Syst. 17, 1, 28-44.
2. CORTESI, A., FILE, G., GIACOBAZZI, R., PALAMIDESSI, C., AND RANZATO, F. 1995.Complementation in abstract interpretation. In Proceedings of the 2nd Static Analysis Symposium, Lecture Notes in Comp. Sc. 983, A. Mycroft, Ed., Springer-Verlag, New York, 100-117.
3. CORTESI, A., LE CHARLIER, B., AND VAN HENTENRYCK, P. 1994. Combinations of abstract domains for logic programming. In Proceedings of the 21st ACM Symposium on Principles of Programming Languages, ACM Press, New York, 227-239.
4. COUSOT, P. AND COUSOT, R. 1992. Inductive definitions, semantics and abstract interpretation. In Proceedings of the 19th ACM Symposium on Principles of Programming Languages, ACM Press, New York, 83-94.
5. COUSOT, P. AND COUSOT, R. 1979. Systematic design of program analysis frameworks. In Proceedings of the 6th ACM Symposium on Principles of Programming Languages, ACM Press, New York, 269-282.
6. COUSOT, P. AND COUSOT, R. 1977. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, ACM Press, New York, 238-252.
7. GIACOBAZZI, R. AND RANZATO, F. 1996. Compositional optimization of disjunctive abstract interpretations. In Proceedings of the 6th European Symposium on Programming. Lecture Notes in Comp. Sc., H.R. Nielson, Ed., Springer-Verlag, New York.
8. GIACOBAZZI, R. AND RANZATO, F. 1995. Functional dependencies and Moore-set completions of abstract interpretations and semantics. In Proceedings of the 1995 International Logic Programming Symposium, J. Lloyd, Ed., The MIT Press, Cambridge, MA, 321-335.
9. NIELSON, F. 1985. Tensor products generalize the relational data flow analysis method. In Proceedings of the 4th Hungarian Computer Science Conference, M. Arató et al., Eds., 211-225.