Functional programming languages for verification tools: a comparison of Standard ML and Haskell

Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber

Research output: Contribution to journalArticlepeer-review

Abstract

We compare Haskell with Standard ML as programming languages for verification tools based on our experience developing the verification platform Truth in Haskell and the Edinburgh Concurrency Workbench (CWB) in Standard ML. We review not only technical language features but also the ldquoworldsrdquo of the languages, for example, the availability of compilers, tools, and libraries. We also discuss the merits and difficulties of comparing programming languages in this wide sense and support our view that Truth and the CWB are similar enough to justify the conclusions drawn in this paper.
Original languageEnglish
Pages (from-to)184-194
Number of pages11
JournalInternational Journal on Software Tools for Technology Transfer
Volume7
Issue number2
DOIs
Publication statusPublished - 2005

Fingerprint

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

Cite this