| 合成型语言FOPL的语义研究 |
| |
| 引用本文： | 梅宏,孙永强.合成型语言FOPL的语义研究[J].电子学报,1995,23(2):12-16. |
| |
| 作者姓名： | 梅宏 孙永强 |
| |
| 作者单位： | 北京大学计算机科学技术系，上海交通大学计算机科学工程系 |
| |
| 基金项目： | 国家自然科学基金，863高科技计划资助 |
| |
| 摘 要： | 函数式面向对象程序设计语言ＦＰＯＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言。本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。
|
| 关 键 词： | FOPL语言 程序设计 面向对象 合成语言 语义 |
Semantics of Integrated Language FOPL |
| |
| Mei Hong.Semantics of Integrated Language FOPL[J].Acta Electronica Sinica,1995,23(2):12-16. |
| |
| Authors: | Mei Hong |
| |
| Abstract: | Functional object-oriented programming language FOPL is an intelligent integrated language which supports both functional programming style and object-oriented programming style.Its denotational semantics is described on a universal abstract space.Moreover,a call-by-value operational semantics to which the denotational semantics is computationally correspondent is discussed. |
| |
| Keywords: | Functional programming Object-oriented programming Integrated language Denotational semantics Operational semantics |
| 本文献已被 CNKI 维普 等数据库收录！ |
