Specware Logo

Home | News | Documentation | Support | Ordering Info

Specware 4.2.10

Release Notes for Specware 4.2.10

There is now a Haskell code generator.

The Isabelle translator now allows the user to specify that a subtype be implemented using Isabelle typedefs.

Initial version of transformation system, including a shell specialized for creating new derivations and a transformation scripting language for replay.