Game Semantics for Nominal Exceptions

被引：0
|
作者：
Murawski, Andrzej S. [1 ,2 ]
Tzevelekos, Nikos [3 ]
机构：
[1] Univ Warwick, DIMAP, Coventry, W Midlands, England
[2] Univ Warwick, Dept Comp Sci, Coventry, W Midlands, England
[3] Queen Mary Univ London, Sch Elect Engn & Comp Sci, London, England
来源：
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES | 2014年 / 8412卷
基金：
英国工程与自然科学研究理事会;
关键词：
FULL ABSTRACTION; NAMES;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：164 / 179
页数：16
相关论文
共 50 条
  • [31] ALGEBRAIC AND OPERATIONAL SEMANTICS OF SPECIFICATIONS ALLOWING EXCEPTIONS AND ERRORS
    GOGOLLA, M
    DROSTEN, K
    LIPECK, U
    EHRICH, HD
    THEORETICAL COMPUTER SCIENCE, 1984, 34 (03) : 289 - 313
  • [32] Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races
    Lucia, Brandon
    Ceze, Luis
    Strauss, Karin
    Qadeer, Shaz
    Boehm, Hans-J.
    ISCA 2010: THE 37TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, 2010, : 210 - 221
  • [33] Nominal Relative "PO OBRAZTSU": Syntax and Semantics
    Artemenko, Mariya V.
    TOMSK STATE UNIVERSITY JOURNAL, 2020, (453): : 5 - 9
  • [34] Semantics text referencing nominal problem.
    Pop, Liana
    REVUE ROUMAINE DE LINGUISTIQUE-ROMANIAN REVIEW OF LINGUISTICS, 2008, 53 (03): : 364 - 365
  • [35] Foundations of nominal classifications: from semantics to phonology
    Sumbatova, Nina R.
    VOPROSY YAZYKOZNANIYA, 2018, (06): : 7 - 30
  • [36] Game semantics and subtyping
    Chroboczek, J
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 192 - 203
  • [37] Probabilistic game semantics
    Danos, V
    Harmer, R
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 204 - 213
  • [38] Dynamic game semantics
    Janasik, T
    Sandu, G
    MEANING: THE DYNAMIC TURN, 2003, 12 : 215 - 240
  • [39] A game semantics for Grz
    Mezhirov, Ilya
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (05) : 663 - 669
  • [40] THE GAME OF GENERAL SEMANTICS
    PETERSON, H
    ETC-REVIEW OF GENERAL SEMANTICS, 1963, 20 (04): : 440 - 444
12345