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