编程语言的语义描述框架概述

形式语义描述对于编程语言的设计,推理和标准化具有重要意义,并且在编译器的优化中起着重要的作用。 但是,与四十多年来对各种语义框架的研究所付出的努力相比,它们的实际应用无疑令人沮丧。 这项调查回顾了编程语言语义描述框架的发展历史。 它还说明了主要框架的功能和实际应用(包括操作,名词,公理和混合语义)。 在一些实际方面,例如可理解性,可扩展性和适用性,对这些框架进行了定性比较。 它表明,一种更流行的形式语义描述应该在可读性,模块化,抽象性,可比性,合理性,适用性和工具支持方面表现得更加优雅。