The transformational machine: Theme and variations
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A study on transformational semanticsPublished by Springer Nature ,1979
- Program development by stepwise transformations — The project CIPPublished by Springer Nature ,1979
- On the partial computation principleInformation Processing Letters, 1977
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977
- Monotone data flow analysis frameworksActa Informatica, 1977
- On Interpreter-Oriented Definitions of Programming LanguagesThe Computer Journal, 1976
- Axiomatics for memory allocationActa Informatica, 1976
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931