您的位置： 专家智库 > >

喻钢

作品数：1 被引量：0H指数：0
供职机构：中国科学院研究生院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式语义
  • 1篇归约
  • 1篇S变换
  • 1篇CONTIN...
  • 1篇CPS
  • 1篇PASSIN...

机构

  • 1篇中国科学院研...
  • 1篇中国科学院软...

作者

  • 1篇柳欣欣
  • 1篇喻钢

传媒

  • 1篇软件学报

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
传名调用演算的二值传递CPS变换
2008年
为Plotkin带常数传名调用λ演算定义了一个新的CPS(continuation-passing-style)变换方法.方法基于求值上下文变换,新颖之处在于,每次传递二值给继续而不是常规的一值.先给出二值CPS变换编码,再在此基础上定义CPS语言,最后建立源语言和CPS语言的一一映射关系并证明Plotkin的模拟定理.与Plotkin的工作比较,工作特点在于,给出了一个CPS归约闭语言,该语言中所有继续都可以用函数形式表达,且模拟定理的可靠性和完备性方向证明更为简单.
喻钢柳欣欣
关键词：形式语义归约
全选 清除 导出
共1页<1>
聚类工具0