Skip to main content Skip to main navigation

Projekt

HasCASL

HasCASL

  • Laufzeit:
  • Forschungsthemen
    Sonstige
  • Anwendungsfelder
    Sonstige

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

Fördergeber

DFG - Deutsche Forschungsgemeinschaft

KR 1191/7-2

DFG - Deutsche Forschungsgemeinschaft

Projekt teilen auf:

Keyfacts

Publikationen zum Projekt

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.

Zur Publikation

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.

Zur Publikation