Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Axiomatic semantics
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Algebraic_semantics_(computer_science)/LlvwSDgh">Algebraic semantics (computer science)</a> — in terms of algebras</li> <li><a href="/facts/Denotational_semantics/yRs3ygRA">Denotational semantics</a> — by translation of the program into another language</li> <li><a href="/facts/Operational_semantics/G24LXz6e">Operational semantics</a> — in terms of the state of the computation</li> <li><a href="/facts/Formal_semantics_of_programming_languages/JEP1zyBv">Formal semantics of programming languages</a> — overview</li> <li><a href="/facts/Predicate_transformer_semantics/bxK9TNh7">Predicate transformer semantics</a> — describes the meaning of a program fragment as the function transforming a <a href="/facts/Postcondition/4tF1Havd">postcondition</a> to the <a href="/facts/Precondition/dWbBdG2e">precondition</a> needed to establish it.</li> <li><a href="/facts/Assertion_(computing)/lxSfLdLY">Assertion (computing)</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Winskel, Glynn (1993-02-05). The Formal Semantics of Programming Languages: An Introduction. MIT Press. ISBN 978-0-262-73103-4. <a href="978-0-262-73103-4" target="_blank">978-0-262-73103-4</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> </ol>