It may seem that there are almost as many varieties of programming language semantics as there are of programming languages. This brief summary surveys the main varieties of semantics, and considers which of them may be the most appropriate.
%0 Book Section
%1 mosses_00_varieties
%A Mosses, Peter
%D 2000
%J Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
%K _to_download_springer semantics operational comparison 2000 axiomatic denotational
%P 624--628
%R 10.1007/3-540-44929-9_49
%T The Varieties of Programming Language Semantics
%U http://dx.doi.org/10.1007/3-540-44929-9_49
%X It may seem that there are almost as many varieties of programming language semantics as there are of programming languages. This brief summary surveys the main varieties of semantics, and considers which of them may be the most appropriate.
@incollection{mosses_00_varieties,
abstract = {It may seem that there are almost as many varieties of programming language semantics as there are of programming languages. This brief summary surveys the main varieties of semantics, and considers which of them may be the most appropriate.},
added-at = {2009-02-12T11:19:02.000+0100},
author = {Mosses, Peter},
biburl = {https://www.bibsonomy.org/bibtex/28a2c08f49c57cb6e6c817cc1de857489/leonardo},
citeulike-article-id = {3799169},
doi = {10.1007/3-540-44929-9_49},
interhash = {adecd7aac0aab31fb6f541f4a8ffd50d},
intrahash = {8a2c08f49c57cb6e6c817cc1de857489},
journal = {Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics},
keywords = {_to_download_springer semantics operational comparison 2000 axiomatic denotational},
pages = {624--628},
posted-at = {2008-12-17 01:29:36},
priority = {4},
timestamp = {2009-02-12T11:19:02.000+0100},
title = {The Varieties of Programming Language Semantics},
url = {http://dx.doi.org/10.1007/3-540-44929-9_49},
year = 2000
}