A modular, polyvariant and type-based closure analysis

This publication has 12 references indexed in Scilit:

• What are principal typings and what are they good for?
  Published by Association for Computing Machinery (ACM) ,1996
• A type system equivalent to flow analysis
  ACM Transactions on Programming Languages and Systems, 1995
• Safety Analysis versus Type Inference
  Information and Computation, 1995
• Closure analysis in constraint form
  ACM Transactions on Programming Languages and Systems, 1995
• A unified treatment of flow analysis in higher-order languages
  Published by Association for Computing Machinery (ACM) ,1995
• The Type and Effect Discipline
  Information and Computation, 1994
• Subtyping recursive types
  ACM Transactions on Programming Languages and Systems, 1993
• Type inference with simple subtypes
  Journal of Functional Programming, 1991
• Type inference with subtypes
  Theoretical Computer Science, 1990
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977