Needed Narrowing Strategies

这个项目的目标是发展一种缩小策略的理论和应用，将最近发现的用于归纳序列系统的需要缩小的概念扩展到基于强序列和弱正交系统的构造函数。当它应用于函数式逻辑语言时，将实现所需的窄化，以实现函数和谓词的原型和可移植集成。此实现的效率将与先前为相同目的提出的其他缩小实现的效率进行比较。* * *

9406751 Antoy The object of this project is to develop the theory and applications of a narrowing strategy that extends the recently discovered notion of needed narrowing for inductively sequential systems to constructor based strongly sequential and weakly orthogonal systems. Needed narrowing will be implemented as it applies to functional logic languages for a prototypical and portable integration of function and predicates. The efficiency of this implementation will be compared with that of other implementations of narrowing previously proposed for the same purpose. ***