Measuring the Precision of Abstract Interpretations

This publication has 15 references indexed in Scilit:

• An operational semantics for probabilistic concurrent constraint programming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The quotient of an abstract interpretation
  Theoretical Computer Science, 1998
• Probabilistic concurrent constraint programming: Towards a fully abstract model
  Published by Springer Nature ,1998
• Abstract interpretation of reactive systems
  ACM Transactions on Programming Languages and Systems, 1997
• Completeness in abstract interpretation: A domain perspective
  Published by Springer Nature ,1997
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Semantics of probabilistic programs
  Journal of Computer and System Sciences, 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 operator theory of the pseudo-inverse I. Bounded operators
  Journal of Mathematical Analysis and Applications, 1965