Class-Level Modular Analysis for Object Oriented Languages

This publication has 19 references indexed in Scilit:

• Modular Static Program Analysis
  Published by Springer Nature ,2002
• Systematic design of program transformation frameworks by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,2002
• Related field analysis
  Published by Association for Computing Machinery (ACM) ,2001
• Escape analysis for object-oriented languages
  Published by Association for Computing Machinery (ACM) ,1999
• Relevant context inference
  Published by Association for Computing Machinery (ACM) ,1999
• A Theory of Objects
  Published by Springer Nature ,1996
• A Denotational Semantics of Inheritance and Its Correctness
  Information and Computation, 1994
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984
• 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