The international standardization of Modula-2

ABSTRACT

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.

REFERENCES

• 1: Andrews, D., A Formal Definition of Modula-2, WG13 Document D65, 1988.
• 2: Bilbe, C., In Favor of Numeric Subranges as Fundamental Types, WG13 Document D30, 1987.
• 3: Bush, R., One-Pass Compilation Issues, WG13 Document D38, 1987.
• 4: Cornelius, B., All About Strings, IST/5/13 Document N95, 1986; included in Background Papers from BSI (IST/5/13) Standardisation Work on Modula-2, WG13 Document D1, 1987.
• 5: Cornelius, B., NEW, DISPOSE and the Module Storage, WG13 Document D53, 1988.
• 6: Gough, K. J., Exception Handling in the Modula-2 Library, WG13 Document D31, 1987.
• 7: Gough, K. J., A Revised Proposal for Exception Handling in the Modula-2 Library, WG13 Document D70, 1988.
• 8: Henry, R., I/0 Library Description and Rationale, WG13 Document D22, 1987.
• 9: Henry, R., The I/0 Library Top Layers, WG13 Document D55, 1988.
• 10: Henry, R., and D. Ward, Priority and Protected Modules, WG13 Document D56, 1988.
• 11: C B Jones, Systematic software development using VDM, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1986
• 12: King, K. N., Modula-2 standardization: an interim report. Proceedings of the 26th Annual ACM Southeast Regional Conference, Mobile, Alabama (April 1988): 296-299.
• 13: Lee, C., Predefined Types, WG13 Document D40, 1987.
• 14: Souter, J., Draft Statement of BSI IST/5/13 Position on Modula-2 and 'One-Pass Compilation,' WG13 Document D35, 1988.
• 15: Terry, P., Type Conversions in Modula-2, WG13 Document D68, 1988.
• 16: Terry, P., Termination Code in Modula-2, WG13 Document D77, 1988.
• 17: Ward, D., Standard Concurrent Programming Facilities, WG13 Document D3, 1987.
• 18: Ward, D., and R. Henry, A New Proposal for Priority and Coroutines, WG13 Document D33, 1987.
• 19: Wichmann, B., Formal Definition of Modula-2 Expressions, WG13 Document D21, 1987.
• 20: Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
• 21: Wirth, N., Letter on DIV, MOD, /, and REM. The MODUS Quarterly 5 (February 1986): 6-7.
• 22: Wirth, N., Letter on multi-dimensional open arrays. The MODUS Quarterly 5 (February 1986): 5.
• 23: Woodman, M., Informal Definition of Strings and a String Library Module, WG13 Document D67, 1988.
• 24: Minutes of the First Meeting of ISO/TC97/SC22/WG13, WG13 Document D15, 1987.
• 25: Minutes of the Second Meeting of lSO/TC97/SC22/WG13, WG13 Document D48, 1988.
• 26: Minutes of the Third Meeting of ISO/IEC JTC1/SC22/WG13, WG13'Document D80, 1988.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Validation

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.0 General
          Subjects: Standards
      D.3.2 Language Classifications

          Nouns: Modula-2

  K. Computing Milieux
  K.2 HISTORY OF COMPUTING
      Subjects: Software

General Terms:
Languages, Standardization, Verification