Justification of the structural synthesis of programs
- 31 December 1982
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 2 (3) , 215-240
- https://doi.org/10.1016/0167-6423(83)90016-3
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The typed λ-calculus is not elementary recursiveTheoretical Computer Science, 1979
- Toward automatic program synthesisCommunications of the ACM, 1971
- Semantics of context-free languagesTheory of Computing Systems, 1968
- The next 700 programming languagesCommunications of the ACM, 1966
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935
- Zur Deutung der intuitionistischen LogikMathematische Zeitschrift, 1932