A study on transformational semantics
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 322-405
- https://doi.org/10.1007/bfb0014674
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- Towards a wide spectrum language to support program specification and program developmentACM SIGPLAN Notices, 1978
- Least fixed points revisitedTheoretical Computer Science, 1976
- On the formal description of PL/IAnnual Review in Automatic Programming, 1969
- Introduction to extensible languagesACM SIGPLAN Notices, 1969
- Some Completeness Results in the Mathematical Theory of ComputationJournal of the ACM, 1968
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966
- The next 700 programming languagesCommunications of the ACM, 1966
- Automatic computing: its problems and prizesThe Computer Journal, 1965
- A generalization of ALGOLCommunications of the ACM, 1963