即计算机程序的构造和解释，是美国麻省理工学院（MIT）计算机科学专业的教材之一，主要内容包括构造过程抽象，构造数据抽象，模块化、对象和状态，元语言抽象，寄存器机器里的计算等。是计算机专业人士不可缺少的工具书