| Publication type: |
Article |
| Author: |
Lutz Schröder, Till Mossakowski |
| Title: |
HasCASL: Integrated Higher-Order Specification and Program Development |
| Volume: |
410 |
| Page(s): |
1217 – 1260 |
| Journal: |
Theoretical Computer Science |
| Number: |
12-13 |
| Year published: |
2009 |
| Abstract: |
We lay out the design of HasCASL, a higher order extension of the
algebraic specification language CASL that serves both as a
wide-spectrum language for the rigorous specification and
development of software, in particular but not exclusively in modern
functional programming languages, and as an expressive standard
language for higher-order logic. Distinctive features of HasCASL
include partial higher order functions, higher order subtyping,
shallow polymorphism, and an extensive type-class
mechanism. Moreover, HasCASL provides dedicated specification
support for monad-based functional-imperative programming with
generic side effects, including a monad-based generic Hoare logic.
|
| Internet: |
http://dx.doi.org/10.1016/j.tcs.2008.11.020 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/HasCASL.pdf |
| Keywords: |
Algebraic specification higher order logic functional programming type classes polymorphism CASL monads Hoare logic |
| Status: |
Reviewed |
| Last updated: |
29. 01. 2010 |
