本书是结构程序设计的权威著作,全书分两部分,第一部分是基本理论,提出用最弱前置谓词定义语义,并给出相应的结构程序设计语言。作者认为,程序设计是面向目标的推导过程...
本书是很有特色的计算机程序设计方面的教材,它的核心是讨论程序设计语言如何工作的问题,它是程序设计语言和编译的传统教科书的混合,再加上一些有关汇编层体系 结构的材...
本书主要介绍程序设计语言的设计思想,设计理论和设计实践,对程序设计语言的组成与结构以及编译器相关技术作了深入浅出的阐述。本选题选材精到,立意独特打破以往程序语言...