| Art der Veröffentlichung: |
Artikel |
| Autor: |
Lutz Schröder, Till Mossakowski |
| Titel: |
HasCASL: Integrated Higher-Order Specification and Program Development |
| Band: |
410 |
| Seite(n): |
1217 – 1260 |
| Zeitschrift: |
Theoretical Computer Science |
| Ausgabe: |
12-13 |
| Erscheinungsjahr: |
2009 |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
Algebraic specification higher order logic functional programming type classes polymorphism CASL monads Hoare logic |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
29. 01. 2010 |
