Transformational program development in a particular problem domain
- 31 December 1986
- journal article
- review article
- Published by Elsevier in Science of Computer Programming
- Vol. 7 (2) , 99-241
- https://doi.org/10.1016/0167-6423(86)90008-0
Abstract
No abstract availableThis publication has 59 references indexed in Scilit:
- A simple calculus for program transformation (inclusive of induction)Science of Computer Programming, 1987
- Algebraic implementations preserve program correctnessScience of Computer Programming, 1986
- The design of divide and conquer algorithmsScience of Computer Programming, 1985
- Structuring transformational developments: A case study based on earley's recognizerScience of Computer Programming, 1984
- An exercise in the transformational derivation of an efficient program by joint development of control and data structureScience of Computer Programming, 1983
- An exercise in program synthesis: algorithms for computing the transitive closure of a relationScience of Computer Programming, 1982
- Deductive synthesis of the unification algorithmScience of Computer Programming, 1981
- Programming in a wide spectrum language: a collection of examplesScience of Computer Programming, 1981
- Formal integration: A program transformation techniqueComputer Languages, 1981
- An improved version of the Cocke-Younger-Kasami algorithmComputer Languages, 1978