Efficient symbolic analysis of programs
- 30 June 1986
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 32 (3) , 280-314
- https://doi.org/10.1016/0022-0000(86)90031-0
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- An Optimizing Pascal CompilerIEEE Transactions on Software Engineering, 1980
- Symbolic Evaluation and the Analysis of ProgramsIEEE Transactions on Software Engineering, 1979
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Logical analysis of programsCommunications of the ACM, 1976
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976
- A Simple Algorithm for Global Data Flow Analysis ProblemsSIAM Journal on Computing, 1975
- Some Topics in Code OptimizationJournal of the ACM, 1974
- Flow Graph ReducibilitySIAM Journal on Computing, 1972
- Control flow analysisACM SIGPLAN Notices, 1970
- Global common subexpression eliminationACM SIGPLAN Notices, 1970