Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Specification
:
HasCASL DFG Project
Link Details for:
HasCASL DFG Project
Link Title:
HasCASL DFG Project
Link URL:
http://www.informatik.uni-bremen.de/cofi/projects/hascasl.html
Link Details:
Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.
Category:
Top : Computers : Programming : Languages : Specification
Link Type:
ScreenShot: