Modula-2 and Oberon

@article{Wirth2007Modula2AO,
  title={Modula-2 and Oberon},
  author={N. Wirth},
  journal={Proceedings of the third ACM SIGPLAN conference on History of programming languages},
  year={2007}
}
  • N. Wirth
  • Published 2007
  • Computer Science
  • Proceedings of the third ACM SIGPLAN conference on History of programming languages
This is an account of the development of the languages Modula-2 and Oberon. [...] Key Method Here the major language properties are outlined, followed by an account of the respective implementation efforts. The conditions and the environments in which the languages were created are elucidated. We point out that simplicity of design was the most essential guiding principle. Clarity of concepts, economy of features, efficiency and reliability of implementations were its consequences.Expand
HOPL IV Reviewing Principles
    The ​History of Programming Languages conference (HOPL) is unlike many of the other SIGPLAN conferences. For one thing, it is held only every 12–15 years—there have been three so far: HOPL I inExpand
    Building Safe Concurrency Abstractions
    • O. Madsen
    • Computer Science
    • Concurrent Objects and Beyond
    • 2014
    TLDR
    The notion of subpattern (including subclass) restrictions as a mechanism for defining safe concurrency abstractions is introduced and implemented in a new experimental version of Beta, called xBeta. Expand
    Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
    TLDR
    This paper develops a compiler design approach that reuses parts of an existing non-incremental compiler to lower the cost of building an incremental compiler, and shows how this approach decomposes the original compiler and has a solution to compile Stratego incrementally. Expand
    Co-evolution of source code and the build system
    • B. Adams
    • Computer Science
    • 2009 IEEE International Conference on Software Maintenance
    • 2009
    TLDR
    This dissertation presents a conceptual framework with tool support to recover, analyze and refactor a build system, and hypothesizes four conceptual reasons of co-evolution to guide future research in the area of build systems. Expand
    How do they understand? Practitioner perceptions of an object-oriented program : a thesis presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Education (Computer Science) at Massey University, Palmerston North, New Zealand
    TLDR
    In raising the issue of the importance of abstraction to computer science, Kramer (2007) argues that there are two relevant aspects of abstraction: the removal of unnecessary detail, and the formulating of general concepts. Expand
    From Whole Program Compilation to Incremental Compilation: A Critical Case
    Introduction Compilation time of a software project is an important factor in how easily the project can be changed. When the compilation time is low, it is cheap to experiments with changes to theExpand
    The Grace Programming Language Draft Specification Version 0.3.1261
    TLDR
    This chapter discusses collection syntax and collection literals, reflection, data-structure invariants, pre & post conditions, contracts, and test support for Java’s encapsulation system. Expand
    Next Steps in Knowledge-driven Architecture Composition
    TLDR
    This paper provides the status of the incremental case-based integration method that aims at reducing the effort for formalizing integration knowledge without losing the ability to compose software components based on interface semantics automatically. Expand
    TEL in teaching and learning programming: international experience
    TLDR
    Some aspects regarding delivering of different programming courses in three institutions from three countries (Serbia, FYR Macedonia and Croatia) are observed and a comparative analysis is given. Expand
    Personal volunteer computing
    TLDR
    It is shown that samples of personal devices of today are competitive with a top-of-the-line laptop from two years ago, and new directions to extend the paradigm are proposed. Expand
    ...
    1
    2
    ...

    References

    SHOWING 1-10 OF 81 REFERENCES
    Pascal and Its Successors
    • N. Wirth
    • Computer Science
    • Software Pioneers
    • 2002
    TLDR
    The programming language Pascal was designed in 1969 with a concisely defined syntax representing the paradigm of structured programming and was followed by Modula-2 which catered to the needs of modular programming in teams. Expand
    The Programming Language Oberon-2
    TLDR
    Oberon-2 is a general-purpose language in the tradition of Oberon and Modula2 whose most important features are block structure, modularity, separate compilation, static typing with strong type checking, and type extension with type-bound procedures. Expand
    The Oberon System family
    TLDR
    The structure of the compiler is described, the experience gained in adapting it for various CISC and RISC processors are summarized, some empirical performance data is presented, and light is shed on the task of grafting an operating environment onto a variety of existing operating systems. Expand
    Extensibility in the Oberon System
    TLDR
    Oberon is both an object-oriented programming language and an operating system with new concepts such as commands and dynamic loading that make up an environment that is similar to Smalltalk in its flexibility but offers static type-checking and is much more efficient. Expand
    MODULA: a language for modular multiprogramming
    TLDR
    Modula is a language intended primarily for programming dedicated computer systems, including process control systems on smaller machines, and introduces a so called module structure, where the programmer has precise control over the names that are imported from and exported to the environment. Expand
    Oberon - The Overlooked Jewel
    Niklaus Wirth has received much deserved fame for the creation of Pascal, but in many ways, he subsequently became a victim of Pascal's success. In an age of rising specialization, in which mostExpand
    Recollections about the development of Pascal
    TLDR
    Pascal was defined in 1970 and, after a slow start, became one of the most widely used languages in introductory programming courses and a basis for further developed languages and for experiments in program verification. Expand
    A Tour Through Cedar
    • W. Teitelman
    • Computer Science
    • IEEE Transactions on Software Engineering
    • 1985
    This paperlintroduces the reader to many of the salient features of the Cedar programming environment, a state-of-the-art progrmming system that combines in a single integrated environment: highExpand
    Modula: A language for modular multiprogramming
    • N. Wirth
    • Computer Science
    • Softw. Pract. Exp.
    • 1977
    TLDR
    Modula is a language intended primarily for programming dedicated computer systems, including process control systems on smaller machines, which is largely based on Pascal, but in addition to conventional block structure it introduces a so‐called module structure. Expand
    Recollections about the development of Pascal
    TLDR
    Pascal was defined in 1970 and, after a slow start, became one of the most widely used languages in introductory programming courses and a basis for further development of languages and for experiments in program verification. Expand
    ...
    1
    2
    3
    4
    5
    ...