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:
-
HasCASL grant proposal (unfortunately in German only) as ps
and as pdf.
-
Contact: Lutz Schröder.