Control-flow analysis and type systems
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 189-206
- https://doi.org/10.1007/3-540-60360-3_40
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A type system equivalent to flow analysisPublished by Association for Computing Machinery (ACM) ,1995
- Control-Flow Analysis and Type SystemsPublished by Defense Technical Information Center (DTIC) ,1994
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Efficient analyses for realistic off-line partial evaluationJournal of Functional Programming, 1993
- Efficient recursive subtypingPublished by Association for Computing Machinery (ACM) ,1993
- Safety analysis versus type inference for partial typesInformation Processing Letters, 1992
- Control flow analysis in schemePublished by Association for Computing Machinery (ACM) ,1988
- Flow analysis of lambda expressionsLecture Notes in Computer Science, 1981