You have Guest access.
Log In
Patrick Cousot and Radhia Cousot
Book Chapter
Semantics of nondeterminism, concurrency and communication Extended abstract, November 1977
Nissim Francez, C. A. R. Hoare and Willem P. de Roever
Lecture Notes in Computer Science, 1978, Volume 64, Mathematical Foundations of Computer Science 1978, Pages 191-200
Journal Article
Proving correctness of coroutines without history variables
Edmund Melson Clarke
Acta Informatica, 1980, Volume 13, Number 2, Pages 169-188
How to Prove a Program Correct: Iterative Programs
Janusz Laski and William Stanley
2009, Software Verification and Analysis, Part 1, Pages 63-79
Verification of Euclid programs
J. J. Horning
Lecture Notes in Computer Science, 1979, Volume 69, Program Construction, Pages 164-173
Convergence of asynchronous iterations of least fixed points Extended abstract
Jiawang Wei
Lecture Notes in Computer Science, 1993, Volume 694, PARLE '93 Parallel Architectures and Languages Europe, Pages 688-691
Program proving: Jumps and functions
M. Clint and C. A. R. Hoare
Acta Informatica, 1971, Volume 1, Number 3, Pages 214-224
Program proving: Coroutines
M. Clint
Acta Informatica, 1973, Volume 2, Number 1, Pages 50-63
Modular Static Program Analysis
Lecture Notes in Computer Science, 2002, Volume 2304, Compiler Construction, Pages 263-283
Proof rules for gotos
Michael A. Arbib and Suad Alagić
Acta Informatica, 1978, Volume 11, Number 2, Pages 139-148
Remarks on “program proving: Jumps and functions by M. Clint and C. A. R. Hoare”
E. A. Ashcroft, M. Clint and C. A. R. Hoare
Acta Informatica, 1976, Volume 6, Number 3, Pages 317-318
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info