Author:
Langmaack Hans,Olderog Ernst-Rüdiger
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Apt, K.R.: A sound and complete Hoare-like system for a fragment of PASCAL, Math. Centrum IW 96/78, Amsterdam, 59 pp. (1978)
2. Apt, K.R.: Ten years of Hoare's logic, a survey, Fac.Econom., Erasmus Univ. Rotterdam, 43 pp. (1979)
3. Cartwright, R., Oppen, D.: Unrestricted procedure calls in Hoare's logic, in: Proc. 5th Annual ACM Symposium on Principles of Programming Languages, 131–140 (1978)
4. Clarke, E.M. Jr.: Programming Language constructs for which it is impossible to obtain good Hoare axiom systems, J.ACM 26, 1, 129–147 (1979)
5. Clarke, E.M. Jr.: Private letter (1979)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fifty years of Hoare’s logic;Formal Aspects of Computing;2019-12
2. Turing und die Verifikation;Informatik-Spektrum;2012-06-02
3. Verification of object-oriented programs: A transformational approach;Journal of Computer and System Sciences;2012-05
4. Dijkstras fruchtbarer, folgenreicher Irrtum;Informatik-Spektrum;2010-08-24
5. An ALGOL-View on Turbo ASM;Lecture Notes in Computer Science;2004