Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,935,562 papers from all fields of science
Search
Sign In
Create Free Account
Hoare logic
Known as:
Midcondition
, Hoare calculus
, Hoare rules
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
46 relations
ANSI/ISO C Specification Language
Aliasing (computing)
Assertion (software development)
Axiomatic semantics
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2008
Review
2008
From ReplayTool to Digital Replay System
C. Greenhalgh
,
A. French
,
P. Tennent
,
J. Humble
,
Andy Crabtree
2008
Corpus ID: 67938505
DRS, the Digital Replay System, is a software tool being developed by the DReSS node of the UK ESRC-funded National Centre for e…
Expand
2008
2008
Hydrodynamics of Cometary Compact Hii Regions
S. A.
2008
Corpus ID: 17816589
We present numerical radiation-hydrodynamic simulations of cometary H II regions for a number of champagne flow and bowshock…
Expand
2007
2007
Conceptual Modeling of Temporal Clinical Workflows
Combi Carlo
,
M. Gozzi
,
J. Juarez
,
Barbara Oliboni
,
G. Pozzi
Time
2007
Corpus ID: 14950844
The diffusion of clinical guidelines to describe the proper way to deal with patients' situations is spreading out and opens new…
Expand
2006
2006
Vernacular architecture in the twenty-first century : theory, education and practice
Lindsay Asquith
,
M. Vellinga
2006
Corpus ID: 190732924
Foreword Nezar AlSayyad Introduction Lindsay Asquith and Marcel Vellinga Part 1: The Vernacular as Process 1. Building tradition…
Expand
2006
2006
Giving voice to Dutch moroccan girls on the internet
L. Brouwer
2006
Corpus ID: 146154941
The article is about the discussion board of a Moroccan website, which has become a big success, judging by the thousands of…
Expand
2004
2004
Decoding Cyclic and BCH Codes up to Actual Minimum Distance Using Nonrecurrent Syndrome Dependence Relations
Cui-Liang Feng
,
S. M. I. Kenneth K. Tzeng
2004
Corpus ID: 385532
-The decoding capabilities of algebraic algorithms, mainly the Berlekamp-Massey algorithm, the Euclidean algorithm and our…
Expand
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
1994
1994
Solution of equations
W. Burkhardt
1994
Corpus ID: 59750816
Solving equations is an important task for algebra. Part of such tasks can be undertaken by software packages like Mathematica…
Expand
Review
1991
Review
1991
Disunification: A Survey.
H. Comon
1991
Corpus ID: 118923989
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and…
Expand
1986
1986
Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals
M. Basseville
,
A. Benveniste
,
G. Moustakides
IEEE Transactions on Information Theory
1986
Corpus ID: 10629850
New "instrumental" tests for detecting and diagnosing changes in the poles of a signal having unknown time-varying zeros are…
Expand