|
|||||
|
|
| 一种基于ADT的函数语言及其操作语义模型 | |
| 引用本文： | 梅宏,孙永强.一种基于ADT的函数语言及其操作语义模型[J].软件学报,1994,5(6):58-64. |
| 作者姓名： | 梅宏 孙永强 |
| 作者单位： | 上海交通大学计算机系，上海 200030；北京大学计算机科学与技术系，北京 100871;上海交通大学计算机系，上海 200030 |
| 基金项目： | 国家自然科学基金,863高科技资助 |
| 摘 要： | 本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质。 |
| 关 键 词： | 函数式程序设计，λ演算，重写系统，Church－Rosser性质，强范式性质 |
| 收稿时间： | 1992/1/14 0:00:00 |
| 修稿时间： | 1992/12/30 0:00:00 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |