合成型语言FOPL的语义研究

函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

函数式面向对象语言FOPL的指称语义

函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言．本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义．

合成语言FOPL基于方程逻辑的语义

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．

函数式面向对象程序设计语言FOPL

本文介绍函数式面向对象程序设计语言ＦＯＰＬ的设计原则、主要特性及实现等方面的问题．

合成语言FOPL实现注记

合成语言ＦＯＰＬ是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论ＦＯＰＬ语言的实现技术。