Fifty years of Hoare’s logic-Reference-Cited by-同舟云学术

Fifty years of Hoare’s logic

Published:2019-12 Issue:6 Volume:31 Page:751-807
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Apt Krzysztof R.¹²,Olderog Ernst-Rüdiger³

Affiliation:

1. CWI, Amsterdam, The Netherlands

2. MIMUW, University of Warsaw, Warsaw, Poland

3. University of Oldenburg, Oldenburg, Germany

Abstract

Abstract We present a history of Hoare’s logic.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-019-00501-3.pdf

Reference206 articles.

1. Ahrendt W Beckert B Bubel R Hähnle R Schmitt PH Ulbrich M (eds) (2016) Deductive software verification—the KeY book—from theory to practice volume 10001 of Lecture notes in computer science. Springer

2. Two normal form theorems for CSP programs

3. Apt KR de Bakker JW (1977) Semantics and proof theory of pascal procedures. In: Salomaa A Steinby M (eds) Automata languages and programming: proceedings of the fourth colloquium volume 52 of Lecture notes in computer science. Springer pp 30–44

4. Proving total correctness of recursive procedures

5. America P de Boer FS (1990) A proof system for process creation. In: Broy M (ed) Programming concepts and methods: proceedings of the IFIP working group 2.2 2.3 working conference on programming concepts and methods. North-Holland pp 303–332

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

1. Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07

2. Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05

3. Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs;Artificial Intelligence;2024-01

4. Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs;Information and Computation;2023-10

5. Logic for reasoning about bugs in loops over data sequences (IFIL);Modeling and Analysis of Information Systems;2023-09-17