Irish School of VDM - Software
LaTeX Macros and Styles
The follow LaTeX style files and documentation are available
(v3.7a 29th October 2004)
The follow LaTeX style files are out-of-date
but are provided for backwards compatibilty reasons.
- complete macros for IrishVDM, including convenient shorthands
Documentation about ivdm.sty
- earlier version macros for the Irish School of Constructive Mathematics
(incorporating Irish VDM).
- some useful shorthand macro definitions
to accompany ISCM.sty
Documentation about ISCM.sty
Haskell Libraries implementing the operators of the Irish VDM
are now available (Including a version of a Haskell library implementing
the topos logic associated with directed irreflexive graphs - DIMG)
As of Jan. 17th 2005, this includes
has been tested on the May 2006 Hugs 98 installation running under Windows XP,
in Hugs (
Latest Version: 1.3c, 9th April 2008.
This page was was last updated
on 10th April 2008
by Andrew Butterfield.