DFG Project HasCASL:
Algebraic Specification + Functional Programming = Environment for Formal Software Development

The algebraic specification language CASL (Common Algebraic Specification Langage) has recently been developed by the Common Framework Initiative (CoFI) as the centerpiece of an internationally standardized family of specification languages. It is the aim of this project to develop an extension of CASL that establishes a connection with the functional programming language Haskell. To this end, CASL will be extended by features of higher order logic w.r.t. syntax, formal semantics and tool support; Haskell will then correspond to an executable sublanguage of the extended language. Thus, an environment is created for the specification and formal implementation of software that allows the coherent development of formal specifications and executable functional programs in a common framework.
Tool development will be based on the already developed tools  in Bremen. Implementation languages are ML, Haskell and Lisp.

Links: