-
题名合成型语言FOPL的语义研究
被引量：2
- 1
-
-
作者
梅宏
孙永强
-
机构
北京大学计算机科学技术系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
1995年第2期12-16,共5页
-
基金
国家自然科学基金
863高科技计划资助
-
文摘
函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。
-
关键词
fopl语言
程序设计
面向对象
合成语言
语义
-
Keywords
Functional programming,Object-oriented programming,Integrated language,Denotational semantics,Operational semantics
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名函数式面向对象语言FOPL的指称语义
被引量：1
- 2
-
-
作者
梅宏
孙永强
-
机构
北京大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
1994年第7期513-520,共8页
-
基金
国家自然科学基金
国家863高技术计划基金
-
文摘
函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言．本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义．
-
关键词
面向对象
程序语言
fopl语言
-
Keywords
Functional programming, object-oriented programming, programming language, denotational semantics.
-
分类号
TP312F0
[自动化与计算机技术—计算机软件与理论]
-
-
题名合成语言FOPL基于方程逻辑的语义
- 3
-
-
作者
梅宏
孙永强
-
机构
北京大学计算机科学七技术系
-
出处
《软件学报》
EI
CSCD
北大核心
1995年第7期407-415,共9页
-
基金
国家自然科学基金
863高科技计划资助
-
文摘
程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．
-
关键词
fopl语言
方程逻辑语义
合成语言
程序语言
-
Keywords
Data type, equational semantics, hybrid language, functional programming,object-oriented programming.
-
分类号
TP312FO
[自动化与计算机技术—计算机软件与理论]
-
-
题名函数语言FOPL及其操作语义模型
- 4
-
-
作者
梅宏
孙永强
-
机构
上海交通大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
1993年第4期1-7,共7页
-
文摘
本文介绍—以ADT为主要构件的函数语言,它是我们设计的函数式及面向对象式合成语言FOPL的函数部分,我们仍以FOPL称之.进而我们描述其操作语义模型:多态λ演算+代数重写系统,并讨论该模型的合流性(CR性)和强范式性(SN性).＊
-
关键词
函数语言
操作语义模型
fopl
-
Keywords
functional language / operational semantics / CR property / SN property
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名函数式面向对象程序设计语言FOPL
- 5
-
-
作者
梅宏
孙永强
-
机构
北京大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
1995年第4期281-289,共9页
-
基金
国家自然科学基金
国家863计划资助
-
文摘
本文介绍函数式面向对象程序设计语言ＦＯＰＬ的设计原则、主要特性及实现等方面的问题．
-
关键词
fopl语言
程序语言
面向对象
函数式
-
Keywords
Functional programming, object-oriented programming, multiparadigm language
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名合成语言FOPL实现注记
- 6
-
-
作者
梅宏
孙永强
-
机构
北京大学计算机系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1995年第3期37-44,共8页
-
基金
国家自然科学基金
863高科技计划
-
文摘
合成语言ＦＯＰＬ是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论ＦＯＰＬ语言的实现技术。
-
关键词
合成语言
fopl语言
程序设计
程序语言
-
Keywords
integrated language, functional programming, object-oriented programming, G-machine, language implementation.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于ADT的函数语言及其操作语义模型
- 7
-
-
作者
梅宏
孙永强
-
机构
上海交通大学计算机系
-
出处
《软件学报》
EI
CSCD
北大核心
1994年第6期58-64,共7页
-
基金
国家自然科学基金
863高科技资助
-
文摘
本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质。
-
关键词
函数语言
抽象数据类型
fopl函数
-
Keywords
Functional programming
λ - calculus
rewriting system
church - rosser property
strong normalization property.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
