伯恩哈德·穆勒 繁忙（数据驱动）和懒惰（需求驱动）计算的代数语义及其在函数式语言中的应用。 （英语） Zbl 0521.68016号 《自动化、语言和编程》，第十届Colloq.，巴塞罗那/西班牙，1983年，Lect。注释计算。科学。154, 513-526 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4个 +5 显示扫描页面 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：繁忙和懒惰评估；数学和操作语义；连续代数；术语重新编写系统；函数式编程 引文：Zbl 0511.00030号 PDF格式BibTeX公司 XML格式