机读格式显示(MARC)

• 000 01683nam0 2200313 450

• 001 0000385161

• 005 20240425141516.0

• 010 __ |a 978-7-111-74704-8 |d CNY99.00

• 100 __ |a 20240425d2024 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 软件灵活性设计 |A ruan jian ling huo xing she ji |b 专著 |e 如何避免陷入编程困境 |d Software design for flexibility |e how to avoid programming yourself into a corner |f (美)克里斯·汉森(Chris Hanson)，(美)杰拉尔德·杰伊·萨斯曼(Gerald Jay Sussman)著 |g 谢学说[等]译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2024

• 215 __ |a 15,305页 |d 24cm

• 225 2_ |a 软件工程技术丛书

• 300 __ |a CMP BOOKS

• 304 __ |a 译者还有：王子纯、王刚、李涛

• 305 __ |a MIT Press通过Bardon-Chinese Media Agency授权出版

• 330 __ |a 本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。

• 461 _0 |1 2001 |a 软件工程技术丛书

• 510 1_ |a Software design for flexibility |e how to avoid programming yourself into a corner |z eng

• 606 0_ |a 软件工具 |x 程序设计

• 690 __ |a TP311.561 |v 5

• 701 _0 |c (美) |a 汉森 |A han sen |c (Hanson, Chris) |4 著

• 701 _0 |c (美) |a 萨斯曼 |A sa si man |c (Sussman, Gerald Jay) |4 著

• 702 _0 |a 谢学说 |A xie xue shuo |4 译

• 801 _2 |a CN |b 58marc.cn |c 20240505