arXiv 1306.13402013-06-06cs.LO

Certified HLints with Isabelle/HOLCF-Prelude

Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel

备注：: 1st International Workshop on Haskell And Rewriting Techniques, HART 2013, 5 pages

英文摘要：

We present the HOLCF-Prelude, a formalization of a large part of Haskell's standard prelude in Isabelle/HOLCF. Applying this formalization to the hints suggested by HLint allows us to certify them formally.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。