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 citeulike:3799169
%A Mosses, Peter
%D 2000
%J Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
%K semantics operational \_pdf comparison 2000 axiomatic denotational
%P 624--628
%R http://dx.doi.org/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{citeulike:3799169,
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-03-10T04:32:34.000+0100},
author = {Mosses, Peter},
biburl = {https://www.bibsonomy.org/bibtex/2af38695cc560f6a8d0c623a6d8dc6c59/leonardo},
citeulike-article-id = {3799169},
doi = {http://dx.doi.org/10.1007/3-540-44929-9\_49},
interhash = {409b9ac7f7bf5874709e76662719ee8d},
intrahash = {af38695cc560f6a8d0c623a6d8dc6c59},
journal = {Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics},
keywords = {semantics operational \_pdf comparison 2000 axiomatic denotational},
pages = {624--628},
posted-at = {2008-12-17 01:29:36},
priority = {4},
timestamp = {2009-03-10T04:32:34.000+0100},
title = {The Varieties of Programming Language Semantics},
url = {http://dx.doi.org/10.1007/3-540-44929-9\_49},
year = 2000
}