實用類型程式設計

實用類型程式設計

《實用類型程式設計》是1992年8月科學出版社出版的圖書,作者是屈延文。

基本介紹

  • 中文名:實用類型程式設計
  • 作者:屈延文
  • 出版時間:1992年08月
  • 出版社:科學出版社
  • ISBN:7030028546
內容簡介,圖書目錄,

內容簡介

本書內容包括類型程式設計概念、類型函式的算法分析與設計、構造式類型程式設計、推導式類型程式設計、大型軟體程式設計等。

圖書目錄

目錄
引言
第一章 概論
第二章 算法設計與分析基礎
第三章 類型程式設計(自下而上)
第四章 類型結構程式設計(自上而下)
第五章 並發類型程式設計(面向過程)
第六章 組織大型軟體的方法論
第七章 軟體自動生成基礎
附錄 VAX/VMS作業系統的一個簡明類型語義

相關詞條

熱門詞條

聯絡我們