Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

46 relations
ANSI/ISO C Specification LanguageAliasing (computing)Assertion (software development)Axiomatic semantics

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
From Hoare Logic to Matching Logic Reachability
Matching logic reachability has been recently proposed as an alternative program verification approach. Unlike Hoare logic, where… 
2009
2009
Performance Analysis of Two-Way Multiple-Antenna Relaying with Network Coding
Two-way relaying is a way of improving the band- width efficiency of a half-duplex relay system. In such scenarios, network… 
Highly Cited
2007
Highly Cited
2007
Industry Associations and Technology-based Growth in India
AbstractThe study of industry associations occupies an uneasy ground in development economics. There is much empirical work that… 
Highly Cited
2000
Highly Cited
2000
On the Propensity to Self-Protect
ABSTRACT Defining propensity to self-protect as the maximum amount an individual is willing to pay for a one-unit reduction in… 
Highly Cited
2000
Highly Cited
2000
Distribution of organic carbon and nitrogen in surface soils in the McMurdo Dry Valleys, Antarctica
Abstract The organic carbon and nitrogen contents of sediments in the upper 2 cm of the soils surrounding several lakes in the… 
Highly Cited
1999
Highly Cited
1999
Relationship marketing in Japan: the buyer‐supplier relationships of four automakers
Examines the individual buyer‐supplier relationships of the four major Japanese automobile manufacturers. Building on the… 
1997
1997
ON THE MECHANISM OF ACETYLCHOLINESTERASE ACTION : THE ELECTROSTATICALLY INDUCED ACCELERATION OF THE CATALYTIC ACYLATION STEP
Brownian dynamics simulations of the encounter kinetics between the active site of the wild-type and Glu199 mutant of Torpedo… 
Highly Cited
1996
Highly Cited
1996
A service architecture for ATM: from applications to scheduling
This article derives a rationale for the service architecture of the ATM Forum's Traffic Management 4.0 specification. This model… 
1994
1994
Solution of equations
Solving equations is an important task for algebra. Part of such tasks can be undertaken by software packages like Mathematica… 
Review
1991
Review
1991
Disunification: A Survey.
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)