Optimal data flow analysis via observational equivalence

This publication has 10 references indexed in Scilit:

• Compositional Characterization of Observable Program Properties
  DAIMI Report Series, 1990
• Global value numbers and redundant computations
  Published by Association for Computing Machinery (ACM) ,1988
• On observational equivalence and algebraic specification
  Journal of Computer and System Sciences, 1987
• Strictness analysis and denotational abstract interpretation
  Published by Association for Computing Machinery (ACM) ,1987
• Strictness analysis for higher-order functions
  Science of Computer Programming, 1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Automatic synthesis of optimal invariant assertions
  ACM SIGPLAN Notices, 1977
• Fully abstract models of typed λ-calculi
  Theoretical Computer Science, 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