The interprocedural coincidence theorem
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 125-140
- https://doi.org/10.1007/3-540-55984-1_13
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Interprocedural constant propagationACM SIGPLAN Notices, 1986
- A flexible approach to interprocedural data flow analysis and programs with recursive data structuresPublished by Association for Computing Machinery (ACM) ,1982
- A precise inter-procedural data flow algorithmPublished by Association for Computing Machinery (ACM) ,1981
- Data Flow Analysis for Procedural LanguagesJournal of the ACM, 1979
- Static determination of dynamic properties of generalized type unionsACM SIGOPS Operating Systems Review, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973
- On procedures as open subroutines. IActa Informatica, 1973
- Control flow analysisACM SIGPLAN Notices, 1970