浏览论文

一些最近开发的语义系统根据编程语言的指称描述自动生成编译器。不幸的是，由生成的编译器生成的目标程序运行速度比手工编写编译器生成的程序慢几个数量级。我们认为，这在很大程度上是由于指称语义作为一种指定编译器的语言存在基本问题。这些问题有效地排除了任何有效实现的可能性，并且导致了不必要地难以理解和调试的规范。

为了克服这些问题，我们开发了一种新型的语义定义，称为高级语义。与传统的指称方法不同，我们的高级技术既适用于定义编程语言的功能含义，也适用于描述实际的编译器实现。

一个名为MESS的系统证明了我们的想法的可行性，该系统从高级语义描述中派生出现实的编译器。MESS已被用于为带有递归过程、引用和值参数、多维灵活数组参数以及常见的Pascal-like控制结构的语言生成编译器。该编译器生成的目标程序在大小和速度上都优于商用手工编译器生成的程序。