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
Is this relevant?
Highly Cited
2015
Highly Cited
2015
FSCQ is the first file system with a machine-checkable proof (using the Coq proof assistant) that its implementation meets its… Expand
  • figure 1
  • figure 8
  • figure 11
  • figure 12
  • figure 13
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher… Expand
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
mathematical description; the agent program is a concrete implementation, running within some physical system. To illustrate… Expand
Is this relevant?
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
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This article provides one example of a method of analyzing qualitative data in an objective and quantifiable way. Although the… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1976
Highly Cited
1976
  • Vaughan R. 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
Is this relevant?