Iterative methods of program analysis
From MaRDI portal
Publication:4005340
DOI10.1007/BF01070122zbMath0800.68546MaRDI QIDQ4005340
No author found.
Publication date: 26 September 1992
Published in: Cybernetics (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Nonlinear invariants for linear loops and eigenpolynomials of linear operators, A method of proving the invariance of linear inequalities for linear loops, Polynomial invariants for linear loops
Cites Work
- Unnamed Item
- Unnamed Item
- Affine relationships among variables of a program
- Monotone data flow analysis frameworks
- Fast algorithms for the elimination of common subexpressions
- Monoids for Rapid Data Flow Analysis
- Variations on the Common Subexpression Problem
- A Simple Algorithm for Global Data Flow Analysis Problems