Transformational Implementation: An Example
- 1 January 1981
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-7 (1) , 3-14
- https://doi.org/10.1109/tse.1981.230814
Abstract
A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example. The potential benefits and problems of this approach to software implementation are discussed.Keywords
This publication has 7 references indexed in Scilit:
- Syntactic source to source transforms and program manipulationCommunications of the ACM, 1979
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Control Structure Abstractions of the Backtracking Programming TechniqueIEEE Transactions on Software Engineering, 1976
- Improving and refining programs by program manipulationPublished by Association for Computing Machinery (ACM) ,1976
- Programming as an evolutionary processLecture Notes in Computer Science, 1976
- Interpretation of non-deterministic algorithms in higher-level languagesInformation Processing Letters, 1975