幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

軟體靈活性設計(如何避免陷入編程困境)/軟體工程技術叢書

  • 作者：(美)克里斯·漢森//傑拉爾德·傑伊·薩斯曼|責編:曲熠|譯者:謝學說//王子純//王剛//李濤
  • 出版社：機械工業
  • ISBN：9787111747048
  • 出版日期：2024/03/01
  • 裝幀：平裝
  • 頁數：305
人民幣：RMB 99 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書主要介紹如何利用數學符號操作、基於規則的系統和通用程序構建靈活的軟體，並利用依賴系統跟蹤、解釋和控制回溯。第1章通過對編程哲學的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構建易於擴展的系統。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配，首先啟用術語重寫系統，然後通過合一展示類型推理的實現。第5章探討解釋和編譯。第6章展示如何構造分層數據和分層程序的系統，並用各種元數據註釋其中的數據項。第7章引入傳播這一概念來擺脫電腦語言的面向表達式範式。本書適合高等院校電腦相關專業的學生學習，也可供專業技術人員參考。
作者介紹
(美)克里斯·漢森//傑拉爾德·傑伊·薩斯曼|責編:曲熠|譯者:謝學說//王子純//王剛//李濤
目錄
譯者序
推薦序
前 言
致 謝
第1章  自然和設計中的靈活性
  1.1  計算體系結構
  1.2  靈活的智能組件
  1.3  冗余和簡並
  1.4  探索行為
  1.5  靈活性的成本
第2章  領域專用語言
  2.1  組合器
    2.1.1  函數組合器
    2.1.2  組合器和形體構造
  2.2  正則表達式
    2.2.1  一種正則表達式組合語言
    2.2.2  翻譯器的實現
  2.3  包裝器
    2.3.1  定製化包裝器
    2.3.2  實現定製器
    2.3.3  適配器
  2.4  抽象領域模型
    2.4.1  單一化實現
    2.4.2  領域模型分解
  2.5  小結
第3章  算術主題
  3.1  組合算術
    3.1.1  一個簡單的ODE積分器
    3.1.2  調整算術運算符
    3.1.3  組合運算
    3.1.4  算術函數
    3.1.5  組合器問題
  3.2  可擴展的通用程序
    3.2.1  通用運算
    3.2.2  構建取決於順序
    3.2.3  實現通用程序
  3.3  示例：自動微分
    3.3.1  自動微分的工作原理
    3.3.2  n元函數的導數
    3.3.3  一些技術細節
    3.3.4  微分參數的文字函數
  3.4  高效的通用程序
  3：4.1  trie
    3.4.2  緩存
  3.5  高效的用戶自定義類型
    3.5.1  謂詞的類型
    3.5.2  謂詞之間的關係
    3.5.3  謂詞調度關鍵字
    3.5.4  示例：冒險遊戲
  3.6  小結

第4章  模式匹配
  4.1  模式
  4.2  項重寫
    4.2.1  代數中的段變數
    4.2.2  規則系統的實現
    4.2.3  旁白：魔術宏
    4.2.4  有向模式調用
  4.3  匹配器設計
    4.3.1  編譯模式
    4.3.2  匹配變數限制
  4.4  合一匹配
    4.4.1  合一的工作原理
    4.4.2  應用：類型推斷
    4.4.3  類型推斷的工作原理
    4.4.4  添加段變數——一個實驗
  4.5  圖上的模式匹配
    4.5.1  將列表表示為圖
    4.5.2  實現圖
    4.5.3  圖上的匹配
    4.5.4  棋盤和可交換圖形視圖
    4.5.5  棋步
    4.5.6  實現圖形匹配
  4.6  小結
第5章  評 估
  5.1  通用eval/apply解釋器
    5.1.1  eval
    5.1.2  apply
  5.2  具有非嚴格參數的程序
  5.3  編譯為可執行程序
  5.4  探索行為
    5.4.1  amb
    5.4.2  實現 amb
  5.5  探索潛在連續
    5.5.1  作為非本地出口的連續
    5.5.2  控制權的非本地轉移
    5.5.3  從連續到 amb
  5.6  能力與責任
第 6章  分 層
  6.1  使用分層
  6.2  分層的實現
    6.2.1  分層數據
    6.2.2  分層程序
  6.3  分層演算法
    6.3.1  單位運算
  6.4  使用依賴項註釋值
    6.4.1  支持層
    6.4.2  提供正當性
  6.5  分層的前景
第7章  傳 播
  7.1  示例：到恆星的距離

  7.2  傳播機制
    7.2.1  單元
    7.2.2  傳播器
  7.3  多種不同的世界觀
  7.4  合併值
    7.4.1  合併基值
    7.4.2  合併支持值
    7.4.3  合併值集
  7.5  搜索可能的世界
    7.5.1  依賴定向回溯
    7.5.2  解決組合問題
  7.6  傳播導致簡並
后 記
附錄A  支持軟體
附錄B  Scheme編程語言
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032