Functional programming languages for verification tools: experiences with ML and Haskell

Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We compare Haskell with ML as programming languages for verification tools, based on our experience developing TRUTH in Haskell and the Edinburgh Concurrency Workbench (CWB) in ML. We discuss not only technical language features but also the “worlds” of the languages, for example, the availability of tools and libraries.
Original languageEnglish
Title of host publicationProceedings 3rd Scottish Functional Programming Workshop
Number of pages12
Publication statusPublished - 2001

Fingerprint Dive into the research topics of 'Functional programming languages for verification tools: experiences with ML and Haskell'. Together they form a unique fingerprint.

Cite this