2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION.

被引：0

作者：

Zhisong, Tang ^{[1
]}

Maosong, Zheng ^{[1
]}

Xin, Li ^{[1
]}

机构：

[1] Acad Sinica, Inst of Computing, Technology, Beijing, China, Acad Sinica, Inst of Computing Technology, Beijing, China

来源：

Scientia sinica. Series A. Mathematical, physical, astronomical and technical sciences | 1985年 / 28卷 / 09期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper proposes a method to formalize semantics. It makes the formal semantics more harmonious with compilation. This method is established on the basis of a temporal logic language, which is, on the one hand, a logic system, so that its semantics is simple and easy to formalize and covenient to implement. It is on the other hand, an intermediate programming language, so that sematics of other higher languages can be mapped into it by means of rigorous transformation. To organize a kind of 2-level formal semantics in this way, the compilation is constituted.

引用

页码：991 / 1001