函数式、逻辑式和面向对象式程序设计及其多范例合成语言

本文综述了函数式、逻辑式和面向对象式三种新型程序设计语言的基本特点,简介了这三种程序设计风格相互合成的研究现状,并给出了一些有关的代表性语言。