%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 }