HasCASL DFG Project
Edit Page
Report
Scan day: 07 February 2014 UTC
7
Virus safety - good
Description: Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.
Algebraic Specification + Functional Programming = Environment for Formal Software Development The algebraic specification language (Common Algebraic Specification Langage) has recently been developed by the Common Framework Initiative (CoFI) as the centerpiece of an internationally standardized family of specification languages. It is the aim of this project to develop an extension of CASL that establishes a connection with the functional programming language
Size: 464 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | DFG Project HasCASL |
| Keywords: | |
| Description: | |
| IP-address: | 134.102.224.17 |
WHOIS Info
| NS | |
| WHOIS | Status: connect |
| Date | Changed: 2008-08-26T11:21:02+02:00 Changed: 2008-08-26T11:19:06+02:00 Changed: 2008-08-26T11:19:06+02:00 |