A new approach to control flow analysis

This publication has 9 references indexed in Scilit:

• Program Graphs
  Published by Springer Nature ,2019
• Game semantics and abstract machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A modular, polyvariant and type-based closure analysis
  Published by Association for Computing Machinery (ACM) ,1997
• Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active Expressions
  Published by Springer Nature ,1997
• Set-based analysis of ML programs
  Published by Association for Computing Machinery (ACM) ,1994
• Full Abstraction for PCF (extended abstract)
  Lecture Notes in Computer Science, 1994
• Automatic autoprojection of higher order recursive equations
  Science of Computer Programming, 1991
• Towards a geometry of interaction
  Contemporary Mathematics, 1989
• 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