A Proposal for a Revision of ISO Modula-2

06/11/2020
by   Benjamin Kowarsch, et al.
0

The Modula-2 language was first specified in [Wir78] by N. Wirth at ETH Zurich in 1978 and then revised several times. The last revision [Wir88] was published in 1988. The resulting language reports included ambiguities and lacked a comprehensive standard library. To resolve the ambiguities and specify a comprehensive standard library an ISO/IEC working group was formed and commenced work in 1987. A base standard was then ratified and published as IS 10514-1 in 1996 [JTC96]. Several conforming compilers have since been developed. At least five remain available of which at least three are actively maintained and one has been open sourced. Meanwhile, various deficiencies of the standard have become apparent but since its publication, no revision and no maintenance has been carried out. This paper discusses some of the deficiencies of IS 10514-1 and proposes a limited revision that could be carried out with moderate effort. The scope of the paper has been deliberately limited to the core language of the base standard and therefore excludes the standard library.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/30/2017

Owl: A General-Purpose Numerical Library in OCaml

Owl is a new numerical library developed in the OCaml language. It focus...
research
07/31/2023

Verified Scalable Parallel Computing with Why3

BSML is a pure functional library for the multi-paradigm language OCaml....
research
06/04/2022

Achievement of Objectives of Library Information Management: Result of Right Structuring of Library Network System

The world is transforming through a revolution and development in the pr...
research
08/24/2022

Ai4EComponentLib.jl: A Component-base Model Library in Julia

Ai4EComponentLib.jl(Ai4EComponentLib) is a component-base model library ...
research
05/25/2020

MaintNet: A Collaborative Open-Source Library for Predictive Maintenance Language Resources

Maintenance record logbooks are an emerging text type in NLP. They typic...
research
08/06/2016

COREALMLIB: An ALM Library Translated from the Component Library

This paper presents COREALMLIB, an ALM library of commonsense knowledge ...
research
06/18/2020

Learning to Format Coq Code Using Language Models

Should the final right bracket in a record declaration be on a separate ...

Please sign up or login with your details

Forgot password? Click here to reset