合成型语言FOPL的语义研究

Semantics of Integrated Language 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.