Synthetic programming
- 31 March 1985
- journal article
- review article
- Published by Elsevier in Artificial Intelligence
- Vol. 25 (3), 323-373
- https://doi.org/10.1016/0004-3702(85)90076-1
Abstract
No abstract availableKeywords
This publication has 39 references indexed in Scilit:
- Program Transformation SystemsACM Computing Surveys, 1983
- Syntactic source to source transforms and program manipulationCommunications of the ACM, 1979
- An algorithm for reduction of operator strengthCommunications of the ACM, 1977
- Subgoal inductionCommunications of the ACM, 1977
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- On the Composition of Well-Structured ProgramsACM Computing Surveys, 1974
- Mathematical theory of partial correctnessJournal of Computer and System Sciences, 1971
- Program development by stepwise refinementCommunications of the ACM, 1971
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Algorithm 64: QuicksortCommunications of the ACM, 1961