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 条
  • [1] Game Semantics in the Nominal Model
    Gabbay, Murdoch
    Ghica, Dan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 286 : 173 - 189
  • [2] Algorithmic Nominal Game Semantics
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 419 - +
  • [3] Operational Nominal Game Semantics
    Jaber, Guilhem
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 264 - 278
  • [4] A fully abstract game semantics of local exceptions
    Laird, J
    16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 105 - 114
  • [5] SEMANTICS OF EXCEPTIONS
    RUSTAN, K
    LEINO, M
    VANDESNEPSCHEUT, JLA
    PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 447 - 466
  • [6] A semantics for imprecise exceptions
    Jones, SP
    Reid, A
    Hoare, T
    Marlow, S
    ACM SIGPLAN NOTICES, 1999, 34 (05) : 25 - 36
  • [7] Semantics of an Effect Analysis for Exceptions
    Benton, Nick
    Buchlovsky, Peter
    PROCEEDINGS OF THE TLDI 2007: 2007 ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPES IN LANGUAGES DESIGN AND IMPLEMENTATION, 2007, : 15 - 25
  • [8] FUNCTIONAL SEMANTICS OF PROGRAMS WITH EXCEPTIONS
    BOLOT, JC
    JALOTE, P
    COMPUTER LANGUAGES, 1990, 15 (04): : 251 - 265
  • [9] Nominal Semantics of Mobility
    Alexandru, Andrei
    Ciobanu, Gabriel
    ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY, 2012, 15 (03): : 171 - 214
  • [10] Towards a Declarative Semantics of Inheritance with Exceptions
    徐殿祥
    郑国梁
    Journal of Computer Science and Technology, 1996, (01) : 61 - 71
12345