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… 
Review
2001
Review
2001
Algorithmic Game Semantics: A Tutorial Introduction
Game Semantics has emerged as a powerful paradigm for giving semantics to a variety of programming languages and logical systems… 
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… 
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… 
1995
1995
TAX REFORM AND FOREIGN ACQUISITIONS: A MICROANALYSIS
We test the hypothesis that the Tax Reform Act of 1986 (TRA 86) induced acquisitions of U.S. companies by foreign investors from… 
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… 
1989
1989
Deriving a protocol converter: a top-down method
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some… 
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)