Prolog program transformations and tree manipulation algorithms
- 31 July 1985
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 2 (2) , 77-91
- https://doi.org/10.1016/0743-1066(85)90012-3
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The Synthesis of Implementations for Abstract Data TypesPublished by Springer Nature ,1983
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Derivation of Logic ProgramsJournal of the ACM, 1981
- An experimental program transformation and synthesis systemArtificial Intelligence, 1981
- Syntax-directed, semantics-supported program synthesisArtificial Intelligence, 1980
- Continuation-Based Program Transformation StrategiesJournal of the ACM, 1980
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977