###
DOI:
:1995.6(7):407-415

合成语言FOPL基于方程逻辑的语义
梅宏,孙永强
(北京大学计算机科学七技术系,北京,100871;上海交通大学计算机科学与技术系,上海,200030)
EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL
Mei Hong,Sun Yongqiang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2571   Download 2251
Received:March 26, 1993    Revised:February 21, 1994
> 中文摘要: 程序设计语言FOPL是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言.本义介绍了FOPL的类型思想,并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则,这些规则描述了FOPL基于方程逻辑的语义.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本项研究受国家自然科学基金和863高科技计划资助. 本项研究受国家自然科学基金和863高科技计划资助.
Foundation items:
Reference text:

梅宏,孙永强.合成语言FOPL基于方程逻辑的语义.软件学报,1995,6(7):407-415

Mei Hong,Sun Yongqiang.EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL.Journal of Software,1995,6(7):407-415