Constructing formal language definitions, can we manage? What can we learn from Modula-2 standardization?

This article is hosted on another website.

You may be required to register, activate a subscription or purchase the article before you can obtain the full text.


Download / Buy Article:

Keywords: Formal specification languages; ISO; Modula-2; Programming language standardization; VDM-SL

Document Type: Research Article


Affiliations: Delft University of Technology, Faculty of Technical Mathematics and Informatics Julianalaan 132, 2628 BL, Delft, The Netherlands

Publication date: March 1, 1998

Related content



Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more