Precise interprocedural dataflow analysis with applications to constant propagation
- 1 January 1996
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 167 (1-2), 131-170
- https://doi.org/10.1016/0304-3975(96)00072-2
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Interprocedural constant propagationACM Letters on Programming Languages and Systems, 1993
- Finite constants: characterizations of a new decidable set of constantsTheoretical Computer Science, 1991
- The Alexander Method — A technique for the processing of recursive axioms in deductive databasesNew Generation Computing, 1986
- Invariance of Approximative Semantics with Respect to Program TransformationsPublished by Springer Nature ,1981
- Affine relationships among variables of a programActa Informatica, 1976
- Property extraction in well-founded property setsIEEE Transactions on Software Engineering, 1975