http://wiki.karljones.com/index.php?action=history&feed=atom&title=Denotational_semantics 2026-10-23T12:44:36Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Denotational_semantics&diff=19739&oldid=prev 2016-11-29T22:42:11Z

<p>‎<span dir="auto"><span class="autocomment">Other approaches</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 22:42, 29 November 2016</td> </tr><tr><td colspan="2" class="diff-lineno">Line 12:</td> <td colspan="2" class="diff-lineno">Line 12:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Other approaches ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== Other approaches ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline"> </del>Other approaches to providing formal semantics of programming languages include axiomatic semantics and operational semantics.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Other approaches to providing formal semantics of programming languages include <ins class="diffchange diffchange-inline">[[</ins>axiomatic semantics<ins class="diffchange diffchange-inline">]] </ins>and <ins class="diffchange diffchange-inline">[[</ins>operational semantics<ins class="diffchange diffchange-inline">]]</ins>.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td></tr> </table>

Karl Jones http://wiki.karljones.com/index.php?title=Denotational_semantics&diff=19738&oldid=prev 2016-11-29T22:08:33Z

<p>Created page with &quot;In <a href="/index.php/Computer_science" title="Computer science">computer science</a>, &#039;&#039;&#039;denotational semantics&#039;&#039;&#039; (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of [...&quot;</p> <p><b>New page</b></p><div>In [[computer science]], '''denotational semantics''' (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of [[programming languages]] by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages.<br /> <br /> == Description ==<br /> <br /> Broadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do. For example, programs (or program phrases) might be represented by partial functions or by games between the environment and the system.<br /> An important tenet of denotational semantics is that semantics should be compositional: the denotation of a program phrase should be built out of the denotations of its subphrases.<br /> <br /> == Connections to other areas of computer science ==<br /> <br /> Some work in denotational semantics has interpreted types as domains in the sense of domain theory, which can be seen as a branch of model theory, leading to connections with type theory and category theory. Within computer science, there are connections with abstract interpretation, program verification, and model checking.<br /> <br /> == Other approaches ==<br /> <br /> Other approaches to providing formal semantics of programming languages include axiomatic semantics and operational semantics.<br /> <br /> == See also ==<br /> <br /> * [[Programming language]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Denotational_semantics Denotational semantics] @ Wikipedia<br /> <br /> <br /> [[Category:Computer science]]</div>

Karl Jones