HasCASL DFG Project, Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.





HasCASL DFG Project Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.

WidgetBucks - Trend Watch - WidgetBucks.com