Open AccessAutomatic Translation of VDM Specifications into Standard ML Programs
Author(s) -
Gerard K. O'Neill
Publication year - 1992
Publication title -
the computer journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.319
H-Index - 64
eISSN - 1460-2067
pISSN - 0010-4620
DOI - 10.1093/comjnl/35.6.623
Subject(s) - executable , programming language , computer science , translation (biology) , syntax , software engineering , abstract syntax , process (computing) , natural language processing , semantics (computer science) , biochemistry , chemistry , messenger rna , gene
This paper demonstrates how a syntax-directed editor, designed as an entry fool for VDM specifications, can produce executable prototypes by the automatic translation of VDM specifications into Standard ML programs. A small example of this translation process is given
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom