Data flow analysis as model checking
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 346-364
- https://doi.org/10.1007/3-540-54415-1_54
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Action SemanticsPublished by Cambridge University Press (CUP) ,1992
- Computing behavioural relations, logicallyPublished by Springer Nature ,1991
- The concurrency workbenchPublished by Springer Nature ,1990
- A fast algorithm for code movement optimisationACM SIGPLAN Notices, 1988
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Automatic generation of machine specific code optimizersPublished by Association for Computing Machinery (ACM) ,1982
- Global optimization by suppression of partial redundanciesCommunications of the ACM, 1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973