书目
消息
首页
搜索
购物车
ML程序设计教程
作者
保罗森
出版社
机械工业出版社
出版时间
2005年5月 第1版
ISBN
9787111161219
定价
45.00
内容简介
本书详细讲解如何使用ML语言进行程序设计,并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性,并且给出大量例子,涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书可作为高等院校计算机专业相关课程的教材,也适合广大程序设计人员参考。
作者简介
LawrenceC.Paulson,于1981年在美国斯坦福大学获得计算机科学博士学位,现为英国剑桥大学计算逻辑学教授。Paulson博士从事有关ML语言的教学和工作多年,拥有扎实的背景和丰富的经验,并曾经参与StandardML的设计。Paulson博士开发和维护了lsabelle自动定理证明系统,他近期
目录
其他版本
Cambridge University Press
1996-06
¥
100.00
起
— END —