An Exploration of Modular Programs (1996)

by J Nicklisch, S L Peyton Jones
Venue:In Glasgow Workshop on Functional Programming
Add To MetaCart
Results 1 - 1 of 1

M.: Functional programming languages for verification tools: Experiences with ML and Haskell

by Martin Leucker, Perdita Stevens - In: Proceedings of the Scottish Functional Programming Workshop , 2001
"... 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 “world ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
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 “worlds ” 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.