《程序设计语言理论基础》[DJVU]
基本信息
打开支付宝首页搜“673273051”领红包，领到大红包的小伙伴赶紧使用哦！
相关书籍
- 《Hadoop权威指南.大数据的存储与分析.第4版中文版》[]
- 《系统架构设计师-免费下载-pdf 》[]
- 《软件设计师教程(第三版)-pdf-免费下载 》[]
- 《精益开发实战-用看板管理大型项目》[]
- 《大话设计模式-pdf-免费下载》[]
- 《面向对象设计与分析-pdf-免费下载》[]
- 《重构——改善既有代码的设计》[]
- 《设计模式之禅作者_ 秦小波.azw3 》[]
- 《程序员必读之软件架构（图灵程序设计丛书）》[]
- 《面向对象开发方法》[]
内容介绍
学习资料下载：
中文名: 程序设计语言理论基础
原名: Foundations for Programming Languages
作者: Mitchell >
图书分类: 软件
资源格式: DJVU
出版社: 扫描版
书号: 0262133210
发行时间: 1996年
地区: 美国 >
语言: 英文 >
简介:
内容简介：
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化?演算的数学系统。演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。
本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制，诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章中论述。本书最后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。
本书可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。
本书是为本科高年级和研究生开始阶段的学生编写的。书中利用一系列类型化λ演算系统来研究顺序程序语言的公理、操作和指称语义。后面的章节循序渐进地致力于探索较为复杂的类型系统。
与同样主题的其他书籍相比，本书的特色主要在于它包含研究泛代数和代数数据类型、命令式语言和floyd-hoare逻辑的内容，并包含探讨多态与模块、类型适应性和面向对象概念以及类型推理的高级章节。本书是数学性的，但所含的讨论、启示和举例使得这些材料对于软件系统、理论计算机科学或数理逻辑专业的学生是能够接受的。
本书也适用于关注程序设计语言、软件确认与验证和程序设计，包括使用软件模块和面向对象程序设计的专业工作者们作为参考。
下载地址
打赏
