| 语义转换--直接指称语义到接续指称语义 |
| |
| 引用本文： | 吕江花,金成植.语义转换--直接指称语义到接续指称语义[J].计算机研究与发展,2004,41(6):972-978. |
| |
| 作者姓名： | 吕江花 金成植 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012 |
| |
| 基金项目： | 国家自然科学基金项目(60073041) |
| |
| 摘 要： | 指称语义分为直接指称语义和接续指称语义，其中后一种语义描述的难度较大，给出了直接指称语义描述到接续指称语义描述的转换方法，这就使得这种语义转换的自动化成为可能．转换算法揭示了直接指称语义与接续指称语义之间的内在关系，同时也提供了写接续指称语义描述的有效方法．当需要检验同一种语言的直接指称语义描述和接续指称语义描述是否等价时，提供的技术是很有用的。
|
| 关 键 词： | 直接指称语义 接续指称语义 语义指派函数 接续 顺序化 |
Semantics Transformation:From Direct Denotational Semantics to Continuation Denotational Semantics |
| |
| Abstract: | Denotational semantics is divided into direct denotational semantics and continuation semantics However it is difficult to describe continuation semantics A technique of transformation from direct semantics to continuation semantics is provided The transformation technique makes it possible to automatize the semantics transformation and to open out the relation between direct and continuation semantics At the same time it is an effective technology for describing continuation semantics It is also a useful technique in verifying the equivalence of direct and continuation denotational semantics of a language |
| |
| Keywords: | direct denotational semantics continuation denotational semantics semantic function continuation sequentialize |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
