Program correctness and matricial iteration theories
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 457-476
- https://doi.org/10.1007/3-540-55511-0_24
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Floyd-Hoare logic in iteration theoriesJournal of the ACM, 1991
- Varieties of Iteration TheoriesSIAM Journal on Computing, 1988
- Recursion and iteration in continuous theories: The “M-construction”Journal of Computer and System Sciences, 1983
- Compatible Orderings on the Metric Theory of TreesSIAM Journal on Computing, 1980
- Vector Iteration in Pointed Iterative TheoriesSIAM Journal on Computing, 1980
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration OperationSIAM Journal on Computing, 1980
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Matricial theoriesJournal of Algebra, 1976
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963