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. 22 Nov. 2017 <http://www.encyclopedia.com>.
"Hoare logic." A Dictionary of Computing. . Encyclopedia.com. (November 22, 2017). http://www.encyclopedia.com/computing/dictionariesthesaurusespicturesandpressreleases/hoarelogic
"Hoare logic." A Dictionary of Computing. . Retrieved November 22, 2017 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionariesthesaurusespicturesandpressreleases/hoarelogic
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. 22 Nov. 2017 <http://www.encyclopedia.com>.
"axiomatic semantics." A Dictionary of Computing. . Encyclopedia.com. (November 22, 2017). http://www.encyclopedia.com/computing/dictionariesthesaurusespicturesandpressreleases/axiomaticsemantics
"axiomatic semantics." A Dictionary of Computing. . Retrieved November 22, 2017 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionariesthesaurusespicturesandpressreleases/axiomaticsemantics
axiomatic
ax·i·o·mat·ic / ˌaksēəˈmatik/ • adj. selfevident 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. 22 Nov. 2017 <http://www.encyclopedia.com>.
"axiomatic." The Oxford Pocket Dictionary of Current English. . Encyclopedia.com. (November 22, 2017). http://www.encyclopedia.com/humanities/dictionariesthesaurusespicturesandpressreleases/axiomatic0
"axiomatic." The Oxford Pocket Dictionary of Current English. . Retrieved November 22, 2017 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionariesthesaurusespicturesandpressreleases/axiomatic0
axiomatic
axiomatic
•achromatic, 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, semiautomatic, Socratic, somatic, static, stigmatic, subaquatic, 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. 22 Nov. 2017 <http://www.encyclopedia.com>.
"axiomatic." Oxford Dictionary of Rhymes. . Encyclopedia.com. (November 22, 2017). http://www.encyclopedia.com/humanities/dictionariesthesaurusespicturesandpressreleases/axiomatic
"axiomatic." Oxford Dictionary of Rhymes. . Retrieved November 22, 2017 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionariesthesaurusespicturesandpressreleases/axiomatic