您的位置： 专家智库 > >

中国博士后科学基金(2004036195)

作品数：1 被引量：0H指数：0
相关作者：吕江花金成植马世龙潘静更多>>
相关机构：北京科技大学北京航空航天大学吉林大学更多>>
发文基金：中国博士后科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语义
  • 1篇语义转换
  • 1篇指称
  • 1篇指称语义
  • 1篇接续
  • 1篇基调

机构

  • 1篇北京科技大学
  • 1篇吉林大学
  • 1篇北京航空航天...

作者

  • 1篇潘静
  • 1篇马世龙
  • 1篇金成植
  • 1篇吕江花

传媒

  • 1篇计算机研究与...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
接续到直接的指称语义转换
2006年
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.
吕江花马世龙潘静金成植
关键词：指称语义基调语义转换
全选 清除 导出
共1页<1>
聚类工具0