Dynamic Partitioning in Analyses of Numerical Properties

This publication has 7 references indexed in Scilit:

• About synchronous programming and abstract interpretation
  Science of Computer Programming, 1998
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997
• Abstract interpretation by dynamic partitioning
  Journal of Functional Programming, 1992
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Static determination of dynamic properties of generalized type unions
  ACM SIGSOFT Software Engineering Notes, 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