Semantics of computation
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 151-163
- https://doi.org/10.1007/3-540-07142-3_75
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- On homomorphisms, simulations, correctness and subroutines for programs and program schemesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1972
- An algebraic description of programs with assertions, verification and simulationPublished by Association for Computing Machinery (ACM) ,1972
- Minimal realization of machines in closed categoriesBulletin of the American Mathematical Society, 1972
- The correctness of programsJournal of Computer and System Sciences, 1969
- Semantics of context-free languagesTheory of Computing Systems, 1968
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968
- Characterizing derivation trees of context-free grammars through a generalization of finite automata theoryJournal of Computer and System Sciences, 1967
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963