Refining Static Analyses by Trace-Based Partitioning Using Control Flow

This publication has 9 references indexed in Scilit:

• Verification of linear hybrid systems by means of convex approximations
  Published by Springer Nature ,1994
• Abstract interpretation by dynamic partitioning
  Journal of Functional Programming, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Array abstractions using semantic analysis of trapezoid congruences
  Published by Association for Computing Machinery (ACM) ,1992
• Static analysis of linear congruence equalities among variables of a program
  Published by Springer Nature ,1991
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• 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