Separate abstract interpretation for control-flow analysis
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 224-243
- https://doi.org/10.1007/3-540-57887-0_98
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992
- Compiling with ContinuationsPublished by Cambridge University Press (CUP) ,1991
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977