Exact flow analysis
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 250-264
- https://doi.org/10.1007/bfb0032746
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- A modular, polyvariant and type-based closure analysisPublished by Association for Computing Machinery (ACM) ,1997
- Linear-time subtransitive control flow analysisPublished by Association for Computing Machinery (ACM) ,1997
- A unified treatment of flow analysis in higher-order languagesPublished by Association for Computing Machinery (ACM) ,1995
- Control-flow analysis and type systemsPublished by Springer Nature ,1995
- Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial timePublished by Springer Nature ,1995
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- Formally optimal boxingPublished by Association for Computing Machinery (ACM) ,1994
- Polymorphic binding-time analysisPublished by Springer Nature ,1994
- A filter lambda model and the completeness of type assignmentThe Journal of Symbolic Logic, 1983
- Functional Characters of Solvable TermsMathematical Logic Quarterly, 1981