程序设计语言的指称语义

本文是由D.Scott和C.Strachey所研究的程序设计语言语义理论的入门指导性读物。它论述了该理论在形式语言描述方面的应用,文章还介绍了该理论在其它方面的应用。本文考察的第一个语言LOOP是十分初级的,它的定义仅仅说明其途径的记号和方法论。然后把环境、存贮与后继等语义概念引入到程序设计语言特征的模型种类中。文章扼要地论述了Scott关于计算的基本数学理论。最后,本文给出语言GEDA-NKEN的形式定义。