• Publications
  • Influence
Programming in Modula-2
  • N. Wirth
  • Computer Science
    Texts and Monographs in Computer Science
  • 1985
TLDR
It is shown here how different types of computations, based on the number of parameters, can be implemented or modified according to the needs of a particular application.
The programming language oberon
  • N. Wirth
  • Computer Science
    Softw. Pract. Exp.
  • 1 July 1988
TLDR
This is the defining report of the programming language Oberon, which describes the syntax of the Oberon programming language and some of the properties of the language.
Program development by stepwise refinement
  • N. Wirth
  • Computer Science
    CACM
  • 1 April 1971
TLDR
The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming.
Pascal User Manual and Report
TLDR
This manual is directed to those who have previously acquired some programming skill and is based on The Programming Language Pascal (Revised Report)--the basic definition of Pascal and concise reference manual for the experienced Pascal programmer.
What can we do about the unnecessary diversity of notation for syntactic definitions?
  • N. Wirth
  • Computer Science
    CACM
  • 1 November 1977
The population of programming languages is steadily growing, and there is no end of this growth in sight. Many language definitions appear in journals, many are found in technical reports, and
Project Oberon - the design of an operating system and compiler
TLDR
The primary goal of the project was to design and implement a system from scratch and to structure it in such a way that it could be described, explained, and unders.
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.
Algorithms and Data Structures
  • N. Wirth
  • Computer Science
    Lecture Notes in Computer Science
  • 1989
TLDR
The book stresses the importance of performance analysis and demonstrates how algorithm selection and refinement are used most effectively in program design.
An Axiomatic Definition of the Programming Language PASCAL
The axiomatic definition method proposed in reference [5] is extended and applied to define the meaning of the programming language PASCAL [1]. The whole language is covered with the exception of
...
1
2
3
4
5
...