| 摘要: |
| 程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义． |
| 关键词: 数据类型 方程语义 合成语言 函数式程序设计 面向对象程序设计 |
| DOI： |
| 分类号: |
| 基金项目:本项研究受国家自然科学基金和863高科技计划资助. |
|
| EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL |
|
Mei Hong,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. |
| Key words: Data type equational semantics hybrid language functional programming object-oriented programming. |
