Transformational derivation of programs using the focus system
- 3 November 1988
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 13 (5) , 163-172
- https://doi.org/10.1145/64135.65019
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- The concept of a supercompilerACM Transactions on Programming Languages and Systems, 1986
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Program developmentsCommunications of the ACM, 1983
- A System for Assisting Program TransformationACM Transactions on Programming Languages and Systems, 1982
- The Cornell program synthesizerCommunications of the ACM, 1981
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- Symbolic Evaluation and the Analysis of ProgramsIEEE Transactions on Software Engineering, 1979
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965