MARC状态：审校 文献类型：中文图书 浏览次数：33
- 题名/责任者:
- 软件灵活性设计:如何避免陷入编程困境/(美) 克里斯·汉森, 杰拉尔德·杰伊·萨斯曼著 谢学说 ... [等] 译
- 出版发行项:
- 北京:机械工业出版社,2024.03
- ISBN及定价:
- 978-7-111-74704-8/CNY99.00
- 载体形态项:
- XV, 305页:图;24cm
- 其它题名:
- 如何避免陷入编程困境
- 丛编项:
- 软件工程技术丛书
- 个人责任者:
- 汉森 (Hanson, Chris) 著
- 个人责任者:
- 萨斯曼 (Sussman, Gerald Jay) 著
- 个人次要责任者:
- 谢学说 译
- 学科主题:
- 软件工具-程序设计
- 中图法分类号:
- TP311.561
- 中图法分类号:
- TP311.5
- 出版发行附注:
- 由MIT Press通过Bardon-Chinese Media Agency授权出版
- 责任者附注:
- 克里斯·汉森, 目前在Datera公司担任技术人员, 他曾在麻省理工学院工作多年, 是MIT/GNUScheme系统的主要开发者。他还曾在谷歌工作10年。杰拉尔德·杰伊·萨斯曼, 麻省理工学院电子工程系教授。自1964年以来, 他一直参与麻省理工学院的人工智能研究。谢学说, 先进计算与关键软件 (信创) 海河实验室副研究员, 天津科技大学人工智能学院兼聘硕士生导师。
- 书目附注:
- 有书目 (第297-305页)
- 提要文摘附注:
- 本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件, 并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配, 首先启用术语重写系统, 然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统, 并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。
全部MARC细节信息>>