Certified HLints with Isabelle/HOLCF-Prelude.

Joachim Breitner,Brian Huffman,Neil Mitchell,Christian Sternagel

CoRR（2013）

引用 25|浏览25

暂无评分

摘要

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 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要