Abstract interpretation of denotational definitions

This publication has 13 references indexed in Scilit:

• Code generation from two-level denotational meta-languages
  Published by Springer Nature ,1986
• Expected forms of data flow analyses
  Published by Springer Nature ,1986
• Strong abstract interpretation using power domains
  Published by Springer Nature ,1983
• A denotational framework for data flow analysis
  Acta Informatica, 1982
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• High-level data flow analysis
  Communications of the ACM, 1977
• 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
• Monotone data flow analysis frameworks
  Acta Informatica, 1977
• On the Relation between Direct and Continuation Semantics
  Published by Springer Nature ,1974