Research on Formal Semantics of Programming Languages
Chunlei Ji · Journal of Shanghai Dianji University · 2007
The birth and development of description techniques of formal semantics of programming languages has great significance for the design and standardization of programming languages,for the design and optimization of compilers,for the procedures reasoning,and for the formal description,analysis,verification and design of protocols.This paper firstly reviews the development history of the semantics description techniques of programming language,then illustrates the description techniques of the current major formal semantics,obtains the evaluation criteria and qualitative comparison results of these techniques and finally points out the semantics description technique which has the highest development potential and its future developing direction.