Symbolic evaluation with structural recursive symbolic constants
- 31 October 1987
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 9 (2) , 161-177
- https://doi.org/10.1016/0167-6423(87)90031-1
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Symbolic Semantics and Program ReductionIEEE Transactions on Software Engineering, 1985
- Program Transformation SystemsACM Computing Surveys, 1983
- Notes on Type Abstraction (Version 2)IEEE Transactions on Software Engineering, 1980
- Symbolic Evaluation and the Analysis of ProgramsIEEE Transactions on Software Engineering, 1979
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- On the partial computation principleInformation Processing Letters, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- Some transformations for developing recursive programsPublished by Association for Computing Machinery (ACM) ,1975