首页> 外文会议>Computer Science Logic >A Fully Abstract Relational Model of Syntactic Control of Interference
【24h】

A Fully Abstract Relational Model of Syntactic Control of Interference

机译:干扰句法控制的完全抽象关系模型

获取原文

摘要

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.
机译:通过使用对等分类别的熟悉构造,可以构建一个完全抽象的Basic SCI模型。 Basic SCI是Reynolds高阶命令式编程语言Idealized Algol的一种版本,它受线性类型系统的限制,因此不同的标识符永远不会成为别名。这里给出的模型与Reddy的对象空间模型具体相同,因此,这项工作还表明Reddy的模型是完全抽象的,这在以前是未知的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号