| 合成语言FOPL基于方程逻辑的语义 |
| |
| 引用本文： | 梅宏,孙永强.合成语言FOPL基于方程逻辑的语义[J].软件学报,1995,6(7):407-415. |
| |
| 作者姓名： | 梅宏 孙永强 |
| |
| 作者单位： | 北京大学计算机科学七技术系,北京,100871;上海交通大学计算机科学与技术系,上海,200030 |
| |
| 基金项目： | 本项研究受国家自然科学基金和863高科技计划资助. |
| |
| 摘 要： | 程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．
|
| 关 键 词： | 数据类型 方程语义 合成语言 函数式程序设计 面向对象程序设计 |
| 收稿时间： | 1993/3/26 0:00:00 |
| 修稿时间： | 1994/2/21 0:00:00 |
EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL |
| |
| Mei Hong and Sun Yongqiang.EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL[J].Journal of Software,1995,6(7):407-415. |
| |
| Authors: | Mei Hong and Sun Yongqiang |
| |
| Abstract: | Programming language FOPL is a hybrid language which supports functional programming style and object-oriented programming style. In this paper, the type concepts of FOPL are presented. Also, the rules for purity judgement of expressions, typing expressions and equivalence judgement of expressions are discussed. These rules describe the semantics of FOPL on equational logic. |
| |
| Keywords: | Data type equational semantics hybrid language functional programming object-oriented programming |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
