本书是《程序设计语言:设计与实现》的第三版。在前两版中,我们基于软、硬件结构基础--它们正是用那些语言写的程序运行所必需的--描述了程序语言的设计。第三版将沿袭这一传统,以帮助程序员开发出既正确又能**执行的软件。在这一版本中,我们将继续这一做法,并且加强了关于构成理论和形式模型的基础的介绍,因为正是理论和模型构成了那些语言的基础。 在计算机界,程序语言设计--即语言的"诞生"、"成熟"和*终的"消亡"--仍是一个十分活跃的分支。在第三版中,我们详细介绍了九十年代中期的主流语言。有关COBOL、PUI、SNOBOL4和APL的章节已经删去。增加的有关C、C++、ML、Prol...