• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual ACM/IEEE Symposium on Logic in Computer Science >Trace semantics for polymorphic references*
【24h】

Trace semantics for polymorphic references*

机译：多态引用的跟踪语义 *

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We introduce a trace semantics for a call-by-value language with full polymorphism and higher-order references. This is an operational game semantics model based on a nominal interpretation of parametricity whereby polymorphic values are abstracted with special kinds of names. The use of polymorphic references leads to violations of parametricity which we counter by closely recoding the disclosure of typing information in the semantics. We prove the model sound for the full language and strengthen our result to full abstraction for a large fragment where polymorphic references obey specific inhabitation conditions.
机译：我们介绍了具有完全多态性和高阶引用的按值调用语言的跟踪语义。这是一个基于参量名义解释的可操作游戏语义模型，其中多态值被抽象为特殊种类的名称。多态引用的使用导致对参数性的违反，我们通过严密地重新编码语义中键入信息的公开来对付它。我们证明了完整语言的模型声音，并加强了对多态引用遵循特定居住条件的大片段的完整抽象的结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号