1. 北京大学计算机科学技术系
2. 上海交通大学计算机科学工程系
3. 北京大学计算机科学技术系上海交通大学计算机科学工程系
纸质出版:1995
移动端阅览
[1]梅宏,孙永强.合成型语言FOPL的语义研究[J].电子学报,1995(02):12-16.
Mei Hong. Semantics of Integrated Language FOPL[J]. Acta Electronica Sinica, 1995, (2).
函数式面向对象程序设计语言FOPL,是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言,本文在一个全称抽象域上描述了它的指称语义,进而讨论了一个和该指称语义计算一致的按值调用的操作语义。
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.
0
浏览量
34
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621