The Library
Game semantics for nominal exceptions
Tools
Tools
Tools
Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for nominal exceptions. In: Muscholl, Anca, (ed.) Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science, Volume 8412 . Berlin ; London: Springer, pp. 164-179. ISBN 9783642548291
|
PDF
WRAP_Murawski_1271755-cs-121214-fossacs14-cr.pdf - Accepted Version - Requires a PDF viewer. Download (442Kb) | Preview |
Official URL: http://dx.doi.org/10.1007/978-3-642-54830-7_11
Abstract
We present a fully abstract denotational model for a higher-order programming language combining call-by-value evaluation and local exceptions. The model is built using nominal game semantics and is the first one to achieve both effective presentability and freedom from “bad exception” constructs.
| Item Type: | Book Item | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Denotational semantics, Game-theoretical semantics | ||||
| Series Name: | Lecture Notes in Computer Science | ||||
| Publisher: | Springer | ||||
| Place of Publication: | Berlin ; London | ||||
| ISBN: | 9783642548291 | ||||
| ISSN: | 0302-9743 | ||||
| Book Title: | Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings | ||||
| Editor: | Muscholl, Anca | ||||
| Official Date: | 2014 | ||||
| Dates: |
|
||||
| Date of first compliant deposit: | 28 December 2015 | ||||
| Volume: | Volume 8412 | ||||
| Number of Pages: | 16 | ||||
| Page Range: | pp. 164-179 | ||||
| DOI: | 10.1007/978-3-642-54830-7_11 | ||||
| Status: | Peer Reviewed | ||||
| Publication Status: | Published | ||||
| Access rights to Published version: | Restricted or Subscription Access |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
