2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION
Tang Zhisong, Zheng Maosong, Li Xin · 1985
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 its semantics is simple and easy to formalize and convenient to implement; on the other hand, an intermediate programming language, so the semantics of other higher languages can be mapped into it by means of rigorous transformation. To organize a kind of 2-1evel formal semantics in this way the compilation is constituted.