Paper Info
Title
Functional programming languages for verification tools: a comparison of Standard ML and Haskell
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 .W e 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 diffi- culties 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.
Year
DOI
Venue
2005
10.1007/s10009-004-0184-3
STTT
Keywords
Field
DocType
verification tools,haskell,language adequacy,ml,functional program- ming languages,compiler,programming language,functional programming languages,functional programming,model checking,functional programming language,availability,concurrency,functional language
Fifth-generation programming language,Second-generation programming language,Comparison of multi-paradigm programming languages,Programming language,Functional programming,Computer science,Haskell,Declarative programming,Third-generation programming language,Generic programming
Journal
Volume
Issue
ISSN
7
2
1433-2787
Citations 
PageRank 
References 
0
0.34
4
Authors
4
Name
Order
Citations
PageRank
Martin Leucker11639112.68
Thomas Noll2202.32
Perdita Stevens367658.14
Michael Weber485785.80