《程序设计语言 语法与语义》求取 ⇩

第一章引论1

第一节 语言、语法与语义1

第二节 程序设计语言11

第二章程序设计语言的语法21

第一节 形式文法、Chomsky分类21

第二节 上下文无关文法及其子类36

第三节 几种定义语法的元语言43

第四节 上下文无关文法的局限55

第五节 W文法63

第三章程序设计语言的语义74

第一节 语义模型76

第二节 操作语义83

第三节 公理语义94

第四节 标志语义105

第五节 代数语义119

第六节 评论与展望128

第四章META-Ⅳ135

第一节 一个例子136

第二节 抽象数据类型147

第三节 抽象语法、论域表达式166

第四节 复合子、表达式及语句173

第五节 用META-Ⅳ定义语义185

第六节 VDM197

附录A208

录附B212

附录C224

参考文献232

1990《程序设计语言 语法与语义》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由赖少庆等编著 1990 成都:四川教育出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

程序设计语言(1994 PDF版)
程序设计语言
1994 天津:南开大学出版社
程序设计语言ALGOL讲义( PDF版)
程序设计语言ALGOL讲义
程序设计语言  ALGOL讲义(1983 PDF版)
程序设计语言 ALGOL讲义
1983
程序设计语言COBOL(1991 PDF版)
程序设计语言COBOL
1991 北京:北京师范大学出版社
C语言程序设计(1994 PDF版)
C语言程序设计
1994 北京:中国科学技术出版社
C程序设计语言(1984 PDF版)
C程序设计语言
1984 广州:广东高等教育出版社
程序设计方法与PASCAL语言(1998 PDF版)
程序设计方法与PASCAL语言
1998 北京:清华大学出版社
Pascal语言程序设计(1998 PDF版)
Pascal语言程序设计
1998 北京:人民邮电出版社
程序设计语言(1984 PDF版)
程序设计语言
1984 北京:高等教育出版社
计算机语言与程序设计 QBASIC与C语言(1999 PDF版)
计算机语言与程序设计 QBASIC与C语言
1999 北京市:高等教育出版社
C语言与程序设计(1997 PDF版)
C语言与程序设计
1997 天津:天津科学技术出版社
计算机语言与程序设计 BASIC与C语言(1996 PDF版)
计算机语言与程序设计 BASIC与C语言
1996 北京:高等教育出版社
汉语程序设计语言(1994 PDF版)
汉语程序设计语言
1994 北京:电子工业出版社
C语言程序设计(1995 PDF版)
C语言程序设计
1995 天津:南开大学出版社
Java语言与程序设计(1997 PDF版)
Java语言与程序设计
1997 北京:人民邮电出版社