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.
%0 Journal Article
%1 SchroderMossakowski08
%A Schröder, Lutz
%A Mossakowski, Till
%D 2009
%J Theoretical Computer Science
%K Algebraic CASL Hoare classes functional higher logic monads order polymorphism programming specification type
%N 12-13
%P 1217-1260
%T HasCASL: Integrated Higher-Order Specification and Program Development
%U http://dx.doi.org/10.1016/j.tcs.2008.11.020
%V 410
%X 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.
@article{SchroderMossakowski08,
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.
},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Schr{\"o}der, Lutz and Mossakowski, Till},
biburl = {https://www.bibsonomy.org/bibtex/223801172b4dfe5e25fc22cf579524097/tillmo},
interhash = {f38e245f23ce4e4e402fe77877edbc34},
intrahash = {23801172b4dfe5e25fc22cf579524097},
journal = {Theoretical Computer Science},
keywords = {Algebraic CASL Hoare classes functional higher logic monads order polymorphism programming specification type},
number = {12-13},
pages = {1217-1260},
pdfurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/HasCASL.pdf},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {HasCASL: Integrated Higher-Order Specification and Program Development},
url = {http://dx.doi.org/10.1016/j.tcs.2008.11.020},
volume = 410,
year = 2009
}