1984年出版，成型于美国麻省理工学院(MIT)多年使用的一本教材，1996年修订为第2版。在过去的二十多年里，本书对于计算机科学的教育计划产生了深刻的影响。 本版中大部分重要程序设计系统都重新修改并做过测试，包括各种解释器和编译器。 目录 出版者的话 专家指导委员会 序 第2版前言 第1版前言 致谢 第1章 构造过程抽象 1.1 程序设计的基本元素 1.2 过程与它们所产生的计算 1.3 用高阶函数做抽象 第2章 构造数据现象 2.1 数据抽象导引 2.2 层次性数据和闭包性质 2.3 符号数据 2.4 抽象数据的多重表示 2.5 带有通用型操作的系统 第3章 模块化、对象和状态 3.1 赋值和局部状态 3.2 求值的环境模型 3.3 用变动数据做模拟 3.4 并发：时间是一个本质问题 3.5 流 第4章 元语言抽象 4.1 元循环求值器 4.2 Scheme的变形——惰性求值 4.3 Scheme的变形——非确定性计算 4.4 逻辑程序设计 第5章 寄存器机器里的计算 5.1 寄存器机器的设计 5.2 一个寄存器机器模拟器 5.3 存储分配和废料收集 5.4 显式控制的求值器 5.5 编译 参考文献 练习表 索引
标签： 1984
上传时间： 2013-11-29
上传用户：咔乐坞
基于AT89C51单片机汽车倒车防撞系统的设计，主要是利用超声波的特点和优势，将超声波测距系统和AT89C51单片机结合为一体，设计出一种基于AT89C51单片机的倒车防撞报警系统。该系统采用软、硬件结合的方法，具有模块化和多用化的特点。
上传时间： 2013-12-19
上传用户：拔丝土豆
制动主缸与踏板行程专家系统知识库的建立 根据专家的经验知识和设计思路,分析了制动主缸和踏板行程计算中的各个影响因素.结合开发汽车制动专家系统的实践,采用C++编程语言,在Visual Studio.NET2005开发环境中,充分利用面向对象的知识表达方法和模块化程序设计方法,建立了制动主缸和踏板行程知识库.并利用已有的某车型参数对知识库的计算与分析功能进行了测试,结果显示汽车制动专家系统主缸与踏板行程知识库已达到预期设计目标.
上传时间： 2016-05-24
上传用户：mhp0114
这12864LCD电子钟是利用89S52驱动128*64LCD显示的电子时钟制作，其采用DS1302芯片独立产生时间。折叠台历式外型可以方便的摆放在桌面上，也可以折叠存放。隐形式按键设计使用户操作更直观、方便。高精度温度显示，公历节日提醒是其卓越之处。模块化的源代码、新颖别致的电路图使后继爱好者制作和升级开发更方便。
上传时间： 2014-01-12
上传用户：梧桐
驱动程序在 Linux 内核里扮演着特殊的角色. 它们是截然不同的"黑盒子", 使硬件的特殊的一部分响应定义好的内部编程接口. 它们完全隐藏了设备工作的细节. 用户的活动通过一套标准化的调用来进行, 这些调用与特别的驱动是独立的 设备驱动的角色就是将这些调用映射到作用于实际硬件的和设备相关的操作上. 这个编程接口是这样, 驱动可以与内核的其他部分分开建立, 并在需要的时候在运行时"插入". 这种模块化使得 Linux 驱动易写, 以致于目前有几百个驱动可用.
上传时间： 2016-05-31
上传用户：努力努力再努力
本程序是一款比较完善的图书租赁系统，实现租赁。亮点是：模块化设计方法，注重了安全性，数据库设计规范，数据库命名使用简化过的匈牙利命名法，租赁分析模块可指导经营，难度适中，适合有一定基础的读者学习.
上传时间： 2016-06-22
上传用户：lacsx
LazyCMS 是一款小巧、高效、人性化的开源内容管理系统；基于PHP5开发，支持MySQL数据库；真正的完全模块化方式和完善的类库支持，使得进一步扩展功能和二次开发更加得心应手。
上传时间： 2013-12-29
上传用户：851197153
随着电子技术的迅速发展，特别是随大规模集成电路出现，给人类生活带来了根本性的改变。由其是单片机技术的应用产品已经走进了千家万户。电子万年历的出现给人们的生活带来的诸多方便。 本文首先描述系统硬件工作原理，并附以系统结构框图加以说明，着重介绍了本系统所应用的各硬件接口技术和各个接口模块的功能及工作过程,其次，详细阐述了程序的各个模块和实现过程。本设计以数字集成电路技术为基础，单片机技术为核心。本文编写的主导思想是软硬件相结合，以硬件为基础，来进行各功能模块的编写。 本系统以单片机的C语言进行软件设计，增加了程序的可读性和可移植性,为了便于扩展和更改，软件的设计采用模块化结构，使程序设计的逻辑关系更加简洁明了。系统通过点阵式液晶为载体显示数据，所以具有人性化的操作和美观的页面效果。可以显示时间、公农历日期、星期、温度、节气，天干地支和当天日出日落时间，并有闹铃和智能控制家用电器功能。
上传时间： 2014-11-23
上传用户：坏天使kk
网络程序-学生个人信息管理系统。以学生个人用户实际需要为中心，力求简洁；运用了模块化思想组织代码；提供数据库智能搜索功能
上传时间： 2014-01-05
上传用户：manking0408
本文介绍了以AT89S51单片机为核心的温度控制系统的工作原理和设计方法。温度信号由温度芯片DS18B20采集，并以数字信号的方式传送给单片机。文中介绍了该控制系统的硬件部分，包括：温度检测电路、温度控制电路、PC机与单片机串口通讯电路和一些接口电路 。单片机通过对信号进行相应处理，从而实现温度控制的目的。文中还着重介绍了软件设计部分，在这里采用模块化结构，主要模块有：数码管显示程序、键盘扫描及按键处理程序、温度信号处理程序、继电器控制程序、单片机与PC机串口通讯程序。 关键字：单片机 DS18B20温度芯片 温度控制 串口通讯
上传时间： 2014-01-10
上传用户：wang5829
