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… 
Review
2010
Review
2010
An Effective End-User Knowledge Concern Training Method in Enterprise Resource Planning ( ERP ) Based on Critical Factors ( CFs ) in Malaysian SMEs
Nowadays, many companies are using Enterprise Resource Planning (ERP) as one of the comprehensive integrated systems. This study… 
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
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
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… 
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)