Web Directory
 

HasCASL DFG Project

  Link Details for: HasCASL DFG Project
Link Title: HasCASL DFG Project Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
HasCASL DFG Project