Optimal run time optimization proved by a new look at abstract interpretations
- 1 January 1987
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Global optimization by suppression of partial redundanciesCommunications of the ACM, 1979
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Automatic synthesis of optimal invariant assertionsACM SIGPLAN Notices, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Symbolic evaluation and the global value graphPublished by Association for Computing Machinery (ACM) ,1977
- Application of lattice algebra to loop optimizationPublished by Association for Computing Machinery (ACM) ,1975
- Theory of Program Structures: Schemes, Semantics, VerificationPublished by Springer Nature ,1975
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973
- On procedures as open subroutines. IActa Informatica, 1973