Sonstiges: Certified HLints with Isabelle/HOLCF-Prelude

[breitner13hlints]

Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel, Certified HLints with Isabelle/HOLCF-Prelude, June 2013. Haskell And Rewriting Techniques (HART)

Zusammenfassung

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.

Download

[Link]

BibTeX

@misc{breitner13hlints,
  title = {Certified HLints with Isabelle/HOLCF-Prelude},
  year = {2013},
  month = jun,
  journal = {ArXiv e-prints},
  author = {Joachim Breitner and Brian Huffman and Neil Mitchell and Christian Sternagel},
  note = {Haskell And Rewriting Techniques (HART)},
  url = {http://arxiv.org/abs/1306.1340},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr. rer. nat. Joachim Breitner