论文部分内容阅读
新一代程序设计语言的特征之一是具有很强的表达能力。在这篇文章中，描述了一个集合程序设计语言（SPL）并讨论了它的实现。SPL程序是一组集函数表达式和集合计算式。在集函数表达式中，方程式、函数表达式及逻辑询问式可以同时出现。特别地，在集函数表达式中，谓词变量允许作为数据对象。最后，提出了聪明编译器的概念。（本刊录）