Software specialization via symbolic execution
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 17 (9) , 884-899
- https://doi.org/10.1109/32.92907
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- A method for specializing logic programsACM Transactions on Programming Languages and Systems, 1990
- One-pass transformations of attributed program treesActa Informatica, 1987
- The concept of a supercompilerACM Transactions on Programming Languages and Systems, 1986
- Unisex: A unix-based symbolic executor for pascalSoftware: Practice and Experience, 1985
- Program simplification via symbolic interpretationPublished by Springer Nature ,1985
- Program Transformation SystemsACM Computing Surveys, 1983
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- On the partial computation principleInformation Processing Letters, 1977
- Symbolic execution and program testingCommunications of the ACM, 1976
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972