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 条
12345