Effective Axiomatizations of Hoare Logics-Reference-Cited by-同舟云学术

Effective Axiomatizations of Hoare Logics

Published:1983-07 Issue:3 Volume:30 Page:612-636
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Clarke Edmund M.¹,German Steven M.²,Halpern Joseph Y.³

Affiliation:

1. Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA and Harvard University, Cambridge, Massachusetts

2. Aiken Computation Laboratories, Harvard University, Cambridge, MA and Massachusetts and Stanford University, Stanford, California

3. IBM San Jose Laboratory, 5600 Cottle Road, San Jose, CA and Harvard University, Cambridge, Massachusetts, Massachusetts Institute of Technology, Cambridge, Massachusetts

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference15 articles.

1. Lecture Notes in Computer Sctence 131;BERGSTRA J.,1982

2. Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems

3. An Application of Bin-Packing to Multiprocessor Scheduling

4. DUKSTRA E.W. A D sc~hne of Programming. Prentice-Hall Englewood Cliffs N.J. 1976. DUKSTRA E.W. A D sc~hne of Programming. Prentice-Hall Englewood Cliffs N.J. 1976.

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fifty years of Hoare’s logic;Formal Aspects of Computing;2019-12

2. Completeness of Hoare Logic Relative to the Standard Model;SOFSEM 2017: Theory and Practice of Computer Science;2017

3. Dijkstras fruchtbarer, folgenreicher Irrtum;Informatik-Spektrum;2010-08-24

4. On Hoare logic and Kleene algebra with tests;ACM Transactions on Computational Logic;2000-07

5. Towards Fully Abstract Semantics for Local Variables: Preliminary Report;Algol-like Languages;1997