唐志松;郑茂松;李欣 二级形式语义和语义定向编译。 （英语） Zbl 0605.68020号 科学。罪。，序列号。A类 28, 991-1001 (1985). 本文提出了一种语义形式化的方法。它使形式语义与编译更加协调。该方法建立在时态逻辑语言（一方面是逻辑系统）的基础上，因此其语义简单、易于形式化和便于实现；另一方面，它是一种中间编程语言，因此其他高级语言的语义可以通过严格的转换映射到它中。以这种方式组织一种2级形式语义，就构成了编译。 MSC公司： 68问题65 抽象数据类型；代数规范 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：时序逻辑;中间程序设计语言 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Tang｝等人，《科学》。罪。，序列号。A 28，991--1001（1985；Zbl 0605.68020）