BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Germany
1 × Ireland
1 × The Netherlands
Collaborated with:
Talks about:
vdm (3) mathemat (2) tutori (2) specif (2) school (2) irish (2) introduct (1) construct (1) structur (1) morphism (1)

Person: Mícheál Mac an Airchinnigh

DBLP DBLP: Airchinnigh:M=iacute=che=aacute=l_Mac_an

Facilitated 1 volumes:

VDM Europe 1987Ed

Contributed to:

FME 20012001
VDM Europe 19881988
VDM Europe 19871987
VDM Europe (2) 19911991

Wrote 7 papers:

FME-2001-Airchinnigh #towards
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.
VDME-1988-TeoA #specification #using
The Use of VDM in the Specification of Chinese Characters (GST, MMaA), pp. 476–499.
VDME-1987-Airchinnigh #morphism
Mathematical Structures and their Morphisms in Meta-IV (MMaA), pp. 287–320.
VDME-1987-Airchinnigh87a #tutorial
Introduction to the VDM Tutorial (MMaA), pp. 356–361.
VDME-1987-Airchinnigh87b #data type #specification
Specification by Data Types (MMaA), pp. 362–388.
VDME-1991-Airchinnigh #tutorial
Tutorial on the Irish School of the VDM (MMaA), pp. 141–237.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.