Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Hoare logic

Known as: Midcondition, Hoare calculus, Hoare rules 
Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We present a logic for reasoning about pairs of interactive quantum programs – quantum relational Hoare logic (qRHL). This logic… Expand
  • figure 2
  • figure 3
Review
2002
Review
2002
  • J. C. Reynolds
  • Proceedings 17th Annual IEEE Symposium on Logic…
  • 2002
  • Corpus ID: 6271346
In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that… Expand
Highly Cited
2000
Highly Cited
2000
We show that Kleene algebra with tests (KAT) subsumes propositional Hoare logic (PHL). Thus the specialized syntax and deductive… Expand
Highly Cited
1996
Highly Cited
1996
This study investigates firms subject to accounting enforcement actions by the Securities and Exchange Commission (SEC) for… Expand
  • table 2
  • table 3
  • table 5
  • table 5
  • table 6
Review
1995
Review
1995
This paper discusses the role of individuals' beliefs about their abilities to competently use computers (computer self-efficacy… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Highly Cited
1992
Highly Cited
1992
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Review
1983
Review
1983
Recent meta-analyses and other studies of media's influence on learning are reviewed. Consistent evidence is found for the… Expand
Review
1981
Review
1981
  • K. Apt
  • TOPL
  • 1981
  • Corpus ID: 549238
A survey of various results concerning Hoare's approach to proving partial and total correctness of programs is presented… Expand
Highly Cited
1976
Highly Cited
1976
This paper deals with logics of programs. The objective is to formalize a notion of program description and to give both… Expand
Highly Cited
1976
Highly Cited
1976
  • V. Pratt
  • 17th Annual Symposium on Foundations of Computer…
  • 1976
  • Corpus ID: 2324338
This paper deals with logics of programs. The objective is to formalize a notion of program description, and to give both… Expand