Skip to main content
Select Source:

Hoare logic

Hoare logic A formalism for partial correctness proofs (see program correctness proof). Sentences have the form {p} S {q}

where p and q are assertions and S is a program. The meaning of such a sentence is that, starting from a state in which p is true, if S terminates it will result in a state in which q is true; p is a precondition and q is a postcondition for S. A Hoare logic for a particular programming language comprises a system of axioms and rules for deducing such sentences from other simpler ones. By repeated use of these rules it is possible ultimately to derive facts about an entire program, starting from facts about its smallest constituents. Like the Floyd method however, the approach requires judicious choice of loop invariants. As another application, Hoare logics can be taken as axiomatic semantics for programming languages. The theory of Hoare logic is determined by the assertion language for writing the pre- and postconditions (such as predicate logic) and the programming language (such as while programs). Many remarkable insights into program correctness have been obtained from the mathematical study of Hoare logic.

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"Hoare logic." A Dictionary of Computing. . Encyclopedia.com. 27 Jun. 2017 <http://www.encyclopedia.com>.

"Hoare logic." A Dictionary of Computing. . Encyclopedia.com. (June 27, 2017). http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/hoare-logic

"Hoare logic." A Dictionary of Computing. . Retrieved June 27, 2017 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/hoare-logic

axiomatic semantics

axiomatic semantics An approach to defining the semantics of programming languages in which the meaning of a language is given by describing the true statements that can be made about programs in that language using axioms and proof rules. Typically the statements are written in some suitable formal notation, such as predicate calculus or modal logic, and concern the states before and after running the program. For example, the formula {p} S {q}

expresses: if a state satisfies property p then there is an output state after executing program S, and it satisfies property q. This assertion is called a total correctness assertion; another type is a partial correctness assertion.

The approach grew out of the early work of R. W. Floyd and C. A. R. Hoare. Though originally intended as methods for program correctness proofs (in particular as an alternative notation for the Floyd method), it was observed that Hoare logic could also be viewed as an axiomatic semantics for a very simple programming language, namely the while language. The approach was consequently extended to the description of practically useful languages.

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"axiomatic semantics." A Dictionary of Computing. . Encyclopedia.com. 27 Jun. 2017 <http://www.encyclopedia.com>.

"axiomatic semantics." A Dictionary of Computing. . Encyclopedia.com. (June 27, 2017). http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/axiomatic-semantics

"axiomatic semantics." A Dictionary of Computing. . Retrieved June 27, 2017 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/axiomatic-semantics

axiomatic

ax·i·o·mat·ic / ˌaksēəˈmatik/ • adj. self-evident or unquestionable: it is axiomatic that dividends have to be financed. ∎  chiefly Math. relating to or containing axioms. DERIVATIVES: ax·i·o·mat·i·cal·ly / -ik(ə)lē/ adv.

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"axiomatic." The Oxford Pocket Dictionary of Current English. . Encyclopedia.com. 27 Jun. 2017 <http://www.encyclopedia.com>.

"axiomatic." The Oxford Pocket Dictionary of Current English. . Encyclopedia.com. (June 27, 2017). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/axiomatic-0

"axiomatic." The Oxford Pocket Dictionary of Current English. . Retrieved June 27, 2017 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/axiomatic-0

axiomatic

axiomaticachromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocratic, automatic, axiomatic, bureaucratic, charismatic, chromatic, cinematic, climatic, dalmatic, democratic, diagrammatic, diaphragmatic, diplomatic, dogmatic, dramatic, ecstatic, emblematic, emphatic, enigmatic, epigrammatic, erratic, fanatic, hepatic, hieratic, hydrostatic, hypostatic, idiomatic, idiosyncratic, isochromatic, lymphatic, melodramatic, meritocratic, miasmatic, monochromatic, monocratic, monogrammatic, numismatic, operatic, panchromatic, pancreatic, paradigmatic, phlegmatic, photostatic, piratic, plutocratic, pneumatic, polychromatic, pragmatic, prelatic, prismatic, problematic, programmatic, psychosomatic, quadratic, rheumatic, schematic, schismatic, sciatic, semi-automatic, Socratic, somatic, static, stigmatic, sub-aquatic, sylvatic, symptomatic, systematic, technocratic, thematic, theocratic, thermostatic, traumatic •anaphylactic, ataractic, autodidactic, chiropractic, climactic, didactic, galactic, lactic, prophylactic, syntactic, tactic •asphaltic •antic, Atlantic, corybantic, frantic, geomantic, gigantic, mantic, necromantic, pedantic, romantic, semantic, sycophantic, transatlantic •synaptic •bombastic, drastic, dynastic, ecclesiastic, elastic, encomiastic, enthusiastic, fantastic, gymnastic, iconoclastic, mastic, monastic, neoplastic, orgastic, orgiastic, pederastic, periphrastic, plastic, pleonastic, sarcastic, scholastic, scholiastic, spastic •matchstick • candlestick • panstick •slapstick • cathartic •Antarctic, arctic, subantarctic, subarctic •Vedantic • yardstick •aesthetic (US esthetic), alphabetic, anaesthetic (US anesthetic), antithetic, apathetic, apologetic, arithmetic, ascetic, athletic, balletic, bathetic, cosmetic, cybernetic, diabetic, dietetic, diuretic, electromagnetic, emetic, energetic, exegetic, frenetic, genetic, Helvetic, hermetic, homiletic, kinetic, magnetic, metic, mimetic, parenthetic, pathetic, peripatetic, phonetic, photosynthetic, poetic, prophetic, prothetic, psychokinetic, splenetic, sympathetic, syncretic, syndetic, synthetic, telekinetic, theoretic, zetetic •apoplectic, catalectic, dialectic, eclectic, hectic •Celtic •authentic, crescentic •aseptic, dyspeptic, epileptic, nympholeptic, peptic, proleptic, sceptic (US skeptic), septic •domestic, majestic •cretic •analytic, anchoritic, anthracitic, arthritic, bauxitic, calcitic, catalytic, critic, cryptanalytic, Cushitic, dendritic, diacritic, dioritic, dolomitic, enclitic, eremitic, hermitic, lignitic, mephitic, paralytic, parasitic, psychoanalytic, pyritic, Sanskritic, saprophytic, Semitic, sybaritic, syenitic, syphilitic, troglodytic •apocalyptic, cryptic, diptych, elliptic, glyptic, styptic, triptych •aoristic, artistic, autistic, cystic, deistic, distich, egoistic, fistic, holistic, juristic, logistic, monistic, mystic, puristic, sadistic, Taoistic, theistic, truistic, veristic •fiddlestick •dipstick, lipstick •impolitic, politic •polyptych • hemistich • heretic •nightstick •abiotic, amniotic, antibiotic, autoerotic, chaotic, demotic, despotic, erotic, exotic, homoerotic, hypnotic, idiotic, macrobiotic, meiotic, narcotic, neurotic, osmotic, patriotic, psychotic, quixotic, robotic, sclerotic, semiotic, symbiotic, zygotic, zymotic •Coptic, optic, panoptic, synoptic •acrostic, agnostic, diagnostic, gnostic, prognostic •knobstick • chopstick • aeronautic •Baltic, basaltic, cobaltic •caustic • swordstick • photic • joystick •psychotherapeutic, therapeutic •acoustic • broomstick • cultic •fustic, rustic •drumstick • gearstick • lunatic

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"axiomatic." Oxford Dictionary of Rhymes. . Encyclopedia.com. 27 Jun. 2017 <http://www.encyclopedia.com>.

"axiomatic." Oxford Dictionary of Rhymes. . Encyclopedia.com. (June 27, 2017). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/axiomatic

"axiomatic." Oxford Dictionary of Rhymes. . Retrieved June 27, 2017 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/axiomatic