摘要：多范式函数逻辑语言Curry的实现方法的描述：基于确定性操作的定义树和需要缩小范围的评估策略，而非确定性操作则依赖于图转换中的"冒泡"。冒泡维护了非确定性操作的完整性，并避免了其他方法中不必要的大规模重建表达式的操作。
作者：Abdulla Alqaddoumi and Enrico Pontelli
论文ID：1112.3789
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-19
PDF 下载： 英文版 中文版pdf翻译中