Correctness of recursive flow diagram programs

Publisher Website

1 January 1977

book chapter
Published by Springer Nature

p. 580-595
https://doi.org/10.1007/3-540-08353-7_183

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programs
Journal of Computer and System Sciences, 1974
An algebraic description of programs with assertions, verification and simulation
Published by Association for Computing Machinery (ACM) ,1972
Categories for the Working Mathematician
Published by Springer Nature ,1971
Automata in general algebras
Information and Control, 1967
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
Proceedings of the National Academy of Sciences, 1963