SPARE: a development environment for program analysis algorithms
- 1 April 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (4) , 304-318
- https://doi.org/10.1109/32.129219
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Natural semanticsPublished by Springer Nature ,2005
- Applicative cachingACM Transactions on Programming Languages and Systems, 1986
- Abstract interpretation of denotational definitionsPublished by Springer Nature ,1985
- Program SlicingIEEE Transactions on Software Engineering, 1984
- Compiler prototyping using formal semanticsPublished by Association for Computing Machinery (ACM) ,1984
- A denotational framework for data flow analysisActa Informatica, 1982
- A semantics-directed compiler generatorPublished by Association for Computing Machinery (ACM) ,1982
- 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
- “Memo” Functions and Machine LearningNature, 1968