Static determination of dynamic properties of generalized type unions
- 1 March 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 2 (2) , 77-94
- https://doi.org/10.1145/390019.808314
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- 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 of programsPublished by Association for Computing Machinery (ACM) ,1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Revised report on the algorithmic language ALGOL 68Acta Informatica, 1975
- PASCAL User Manual and ReportPublished by Springer Nature ,1974
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Critical comments on the programming language PascalActa Informatica, 1973
- Calculating properties of programs by valuations on specific modelsACM SIGPLAN Notices, 1972
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963