An algebraic description of programs with assertions, verification and simulation

Publisher Website

1 January 1972

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 7 (1) , 7-14
https://doi.org/10.1145/942578.807068

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

The correctness of nondeterministic programs
Artificial Intelligence, 1970
Termination of programs represented as interpreted graphs
Published by Association for Computing Machinery (ACM) ,1970
Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967