Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Seyed Hosein Attarzadeh Niaki <shan2 <at> kth.se>
Subject: ANN: ForSyDe DSL v3.1
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Saturday 23rd January 2010 15:32:26 UTC (over 6 years ago)
Dear All,

A new version of the ForSyDe DSL is uploaded to the Hackage database.

"The ForSyDe (Formal System Design) methodology has been developed with the
objective to move system design to a higher level of abstraction and to
bridge the abstraction gap by transformational design refinement. This
library provides ForSyDe's implementation as a Haskell-embedded Domain
Specific Language (DSL). For more information, please see ForSyDe's
website: http://www.ict.kth.se/forsyde/."

In addition to compatibility with base 4 and GHC 6.10.x, the new version
provides more freedom for declaration of process functions (e.g., support
for when and let blocks).

BR/
Hosein Attarzadeh
 
CD: 4ms