Author:
Hehner Eric C. R.,Gravel Andrew M.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. E.W. Dijkstra: a Discipline of Programming, Prentice-Hall, New Jersey, 1976
2. E.W. Dijkstra, A.J.M.van Gasteren: “a Simple Fixpoint Argument without the Restriction to Continuity”, Acta Informatica v.13 p.1–7, 1986
3. A.M. Gravell: “Simpler Laws for the Introduction of Loops”, ECS, University of Southampton, 1996
4. E.C.R. Hehner: a Practical Theory of Programming, Springer-Verlag, New York, 1993
5. C.A.R. Hoare: “an Axiomatic Basis for Computer Programming”, CACM 12(10), 1969
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Loop Verification with Invariants and Contracts;Lecture Notes in Computer Science;2022
2. General Refinement, Part One: Interfaces, Determinism and Special Refinement;Electronic Notes in Theoretical Computer Science;2008-06
3. Specified Blocks;Verified Software: Theories, Tools, Experiments;2008
4. Retrospective and Prospective for Unifying Theories of Programming;Unifying Theories of Programming;2006
5. Atomic Components;Theoretical Aspects of Computing - ICTAC 2004;2005