The fixpoint-analysis machine

This publication has 9 references indexed in Scilit:

• The META-Frame: An environment for flexible tool management
  Lecture Notes in Computer Science, 1995
• Characteristic Formulas for Processes with Divergence
  Information and Computation, 1994
• Generating data flow analysis algorithms from modal specifications
  Science of Computer Programming, 1993
• Efficient local correctness checking
  Lecture Notes in Computer Science, 1993
• Lazy code motion
  ACM SIGPLAN Notices, 1992
• Model checking and boolean graphs
  Published by Springer Nature ,1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The theory of ends, pushdown automata, and second-order logic
  Theoretical Computer Science, 1985
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955