The Abstract Interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains

This publication has 8 references indexed in Scilit:

• Abstract Interpretation, Logical Relations, and Kan Extensions
  Journal of Logic and Computation, 1990
• Backwards Strictness Analysis: Proved and Improved
  Published by Springer Nature ,1990
• Two-level semantics and abstract interpretation
  Theoretical Computer Science, 1989
• Strictness analysis
  Published by Association for Computing Machinery (ACM) ,1989
• Projections for strictness analysis
  Published by Springer Nature ,1987
• Strictness analysis for higher-order functions
  Science of Computer Programming, 1986
• The tensor product of continuous lattices
  Mathematische Zeitschrift, 1980
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979