Frameworks for abstract interpretation

This publication has 12 references indexed in Scilit:

• Bottom-up dataflow analysis of normal logic programs
  The Journal of Logic Programming, 1992
• Strictness analysis and denotational abstract interpretation
  Information and Computation, 1988
• Strictness analysis for higher-order functions
  Science of Computer Programming, 1986
• Qualitative reasoning about physical systems: An introduction
  Artificial Intelligence, 1984
• A denotational framework for data flow analysis
  Acta Informatica, 1982
• Flow analysis of lambda expressions
  Lecture Notes in Computer Science, 1981
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• 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
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976
• Lattice Theory. By Garrett Birkhoff. 2nd edition. Pp. xiii, 283. $6. 1948. American Mathematical Society Colloquium Publications, 25. (American Mathematical Society, New York)
  The Mathematical Gazette, 1950