Forschungsprojekt
HasCASL - HasCASL
Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung fĂĽr formale Softwareentwicklung.
Kontakt
Ansprechpartner:
Prof. Dr. Lutz Schröder
Projektleitung:
Prof. Dr. Lutz Schröder
Homepage:
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/HasCASL/
Beteiligte Forschungsbereiche
Publikationen
- 2009
- Lutz Schröder; Till Mossakowski
HasCASL: Integrated Higher-Order Specification and Program Development.
In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.
- 2008
- Lutz Schröder
Bootstrapping Inductive and Coinductive Types in HasCASL.
In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, o.A. 2008.