程序设计语言理论基础

评价人数不足

米切尔 / / 电子工业出版社 / 563页 / 简裝本 / 68.00元 / 2006-11

程序设计语言理论基础的内容简介

本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于高等研究的技术参考书。

程序设计语言理论基础的短评(1)

喜欢程序设计语言理论基础的人也喜欢

推荐程序设计语言理论基础的豆列

了解更多图书信息

豆瓣
免费下载 iOS / Android 版客户端