Program simplification via symbolic interpretation
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 116-128
- https://doi.org/10.1007/3-540-16042-6_6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Program Transformation SystemsACM Computing Surveys, 1983
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- Algorithmic Language and Program DevelopmentPublished by Springer Nature ,1982
- On the partial computation principleInformation Processing Letters, 1977
- Symbolic execution and program testingCommunications of the ACM, 1976