Travelled to:1 × Ireland
1 × The Netherlands
Collaborated with:∅
Talks about:standard (1) prototyp (1) specif (1) formal (1) compil (1) proof (1) tool (1) vdm (1) ml (1)
Person: R. D. Arthan
DBLP: Arthan:R=_D=
Contributed to:
19881991Wrote 3 papers:
- VDME-1988-Arthan #compilation #ml #prototype #standard
- Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.
- VDME-1991-Arthan #on the #proving #specification
- On Formal Specification of a Proof Tool (RDA), pp. 356–370.