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 条
  • [21] Relational reasoning in a nominal semantics for storage
    Benton, N
    Leperchey, B
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 86 - 101
  • [22] Semantics of the text and the problem of nominal reference
    Serban, Felicia
    DACOROMANIA, 2006, 11-12 : 338 - 339
  • [23] Event structure semantics for nominal calculi
    Bruni, Roberto
    Melgratti, Hernan
    Montanari, Ugo
    CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 295 - 309
  • [24] Morphology and Semantics of German Nominal Compounds
    Allerton, D. J.
    JOURNAL OF LINGUISTICS, 1972, 8 (02) : 321 - 326
  • [25] An onomasiological approach to nominal compound semantics
    Antoniova, Vesna Kalafus
    WORD STRUCTURE, 2020, 13 (03) : 316 - 346
  • [26] Nominal semantics of the πI-calculus
    Alexandru, Andrei
    Ciobanu, Gabriel
    13TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2011), 2012, : 331 - 338
  • [27] Semantics and productivity of the nominal class in Mocovi
    Carrio, Cintia
    Jara, Valentina
    Ines Rabasedas, Maria
    REVISTA SIGNOS, 2019, 52 (100): : 639 - 664
  • [28] Pronounced Nominal Forms in Old Lithuanian Exceptions to Leskiens Law?
    Hock, Wolfgang
    INDOGERMANISCHE FORSCHUNGEN, 2016, 121 (01) : 365 - 386
  • [29] Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics
    Giordano, Laura
    Gliozzi, Valentina
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, 2019, 11726 : 212 - 225
  • [30] AN OPERATIONAL SEMANTICS APPROACH TO DISCIPLINED EXCEPTIONS IN LOGIC PROGRAMMING
    SHIH, TK
    LIN, FY
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (01): : 1 - 33
12345