Programming as an evolutionary process
- 1 January 1976
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 153-182
- https://doi.org/10.1007/3-540-07994-7_53
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Concurrent Programming ConceptsACM Computing Surveys, 1973
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Coroutine sequencing in a block structured environmentBIT Numerical Mathematics, 1971
- Another recursion induction principleCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Programming by action clustersBIT Numerical Mathematics, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- The Equivalence of Certain ComputationsThe Computer Journal, 1966
- The next 700 programming languagesCommunications of the ACM, 1966
- General recursive functions of natural numbersMathematische Annalen, 1936