Projekt | HasCASL

Laufzeit: 01.05.2006 - 30.07.2007

HasCASL

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.

HasCASL: Integrated Higher-Order Specification and Program Development
Lutz Schröder; Till Mossakowski
In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.
Bootstrapping Inductive and Coinductive Types in HasCASL
Lutz Schröder
In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, 2008.