节点文献
代码生成语言的指称语义
DENOTATIONAL SEMANTICS FOR CODE GENERATION LANGUAGES
【摘要】 我们建立了一个代码生成工具系统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