威廉·哈里森。;理查德·基伯茨。 Haskell中的需求逻辑。 （英语） Zbl 1085.68023号 J.功能。程序。 15，第6期，837-891（2005）. 摘要：Haskell是一种函数式编程语言，默认情况下其求值是惰性的。然而，Haskell还提供了模式匹配工具，这给它原本懒惰的默认求值增加了一点热情。这种混合或“非限定”语义可能很难推理。本文介绍了一种编程逻辑，即（P）-逻辑，它将Haskell模式匹配中的混合求值巧妙地形式化为一种逻辑，从而简化了指定和验证Haskel程序的任务。在（P）-逻辑中，需求的各个方面在谓词语言及其模型理论中都得到了反映或表示，从而实现了可表达和可理解的程序验证。 引用于三文件 MSC公司： 68甲18 函数编程和lambda演算 68甲15 编程语言理论 关键词：函数式程序设计语言;\（P\）-逻辑 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Harrison}和\textit{R.B.Kieburtz}，J.Funct。程序。15，第6号，837--891（2005；Zbl 1085.68023） 全文： 内政部