Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Systematic software development using VDM
Systematic software development using VDM
Hi-index | 0.00 |
The process of creating an international standard for the Modula-2 programming language is now well underway. This paper (an updated and expanded version of [12]) describes current standardization efforts and sketches a number of changes being planned for the language.