A Fully Abstract Relational Model of Syntactic Control of Interference
A Fully Abstract Relational Model of Syntactic Control of Interference
复制标题
干扰句法控制的全抽象关系模型
DOI：
10.1007/3-540-45793-3_17
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
G. McCusker
中科院分区：
文献类型：
--
作者：
G. McCusker
利用么半群范畴上的常见结构，构造了一个基本SCI的完全抽象模型。基本SCI是雷诺兹的高阶命令式编程语言理想化ALGOL的一个版本，它受到线性类型系统的限制，因此不同的标识符永远不会是别名。这里给出的模型与Reddy的对象空间模型是具体相同的，所以这项工作也表明了Reddy的模型是完全抽象的，这是以前所不知道的。
Using familiar constructions on the category of monoids, a fully abstract model of Basic SCI is constructed. Basic SCI is a version of Reynolds's higher-order imperative programming language Idealized Algol, restricted by means of a linear type system so that distinct identifiers are never aliases. The model given here is concretely the same as Reddy's object spaces model, so this work also shows that Reddy's model is fully abstract, which was not previously known.