Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 307-323
- https://doi.org/10.1007/bfb0024192
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A framework for construction and evaluation of high-level specifications for program analysis techniquesPublished by Association for Computing Machinery (ACM) ,1989
- Static analysis of arithmetical congruencesInternational Journal of Computer Mathematics, 1989
- A flexible approach to interprocedural data flow analysis and programs with recursive data structuresPublished by Association for Computing Machinery (ACM) ,1982
- An efficient way to find the side effects of procedure calls and the aliases of variablesPublished by Association for Computing Machinery (ACM) ,1979
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Programming language constructs for which it is impossible to obtain good hoare-like axiom systemsPublished by Association for Computing Machinery (ACM) ,1977