节点文献

代码生成语言的指称语义

DENOTATIONAL SEMANTICS FOR CODE GENERATION LANGUAGES

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 杨颖谢奇光

【Author】 Yang Ying Xie Qiguang(Wuhan University) (Wuhan Institute of Digital Engineering)

【机构】 武汉大学武汉数字工程研究所

【摘要】 我们建立了一个代码生成工具系统CGGT (Code Generator Generator’s Tool),并把当前国际上普遍采用的Graham-Glanville方法加以扩充,用指称语义(Denotational Semantics)描述代码生成语言,解决了当前常规的Graham-Glanville方法存在的若干问题。本文侧重讨论了代码生成语言的指称描述。

【Abstract】 A code generator generator’s tool (CGGT) is presented in this paper. Using the denotational semantics to specify code generation languages, the Graham-Glanville’s method for code generation is extended. The emphasis is given to the denotational description of code generation languages.

  • 【文献出处】 计算机学报 ,Chinese Journal of Computers , 编辑部邮箱 ,1986年03期
  • 【被引频次】2
  • 【下载频次】47
节点文献中: 

本文链接的文献网络图示:

本文的引文网络