Abstract cofibered domains: Application to the alias analysis of untyped programs
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 366-382
- https://doi.org/10.1007/3-540-61739-6_53
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Formal language, grammar and set-constraint-based program analysis by abstract interpretationPublished by Association for Computing Machinery (ACM) ,1995
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Static analysis of linear congruence equalities among variables of a programPublished by Springer Nature ,1991
- Static analysis of arithmetical congruencesInternational Journal of Computer Mathematics, 1989
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Affine relationships among variables of a programActa Informatica, 1976
- On clubs and doctrinesPublished by Springer Nature ,1974