Pascal for Small Machines

Links

ETH Reports

ETH Zurich have now made most of their Technical Reports available for download as PDF files.
Of interest to Pascal historians are:

001. The Programming Language Pascal - N.Wirth (Nov 1970; 2nd Edition July 1971).

002. Program development by step-wise refinement - N.Wirth (Jan 1971)

005. The Programming Language Pascal (Revised Report) - N. Wirth (July 1973).

006. An Axiomatic Definition of the Programming Language Pascal - C.A.R. Hoare and N. Wirth (Nov 1972)

010. The PASCAL <P> Compiler: Implementation Notes - K.V. Nori,U.Ammann, K.Jensen, H.H.Nageli (Dec 1974)

012. PASCAL-S: A Subset and its Implementation - N. Wirth. (Nov 1975)

013. On Code Generation in a PASCAL Compiler - U. Ammann. (Nov 1977)

033. A Collection of Pascal Programs - N. Wirth (Jul 1979)

ETH Zurich Techical Reports
A collection of Pascal Programs
Author: Niklaus Wirth
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/033.

An Axiomatic Definition of the Programming Language Pascal
Authors: C.A.R. Hoare and Niklaus Wirth
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/006.

On Code Generation in a Pascal Compiler
Author: Urs Ammann
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/013.

Pascal-S: A Subset and its Implementation
Author: Niklaus Wirth
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/012.

Program Development by Step-Wise Refinement
Author: Niklaus Wirth
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/002.

The PASCAL Compiler: Implementation, Notes
Authors: K. V. Nori, U. Ammann, K. Jensen, H. H. Nägeli
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/010.

The Programming Language Pascal
Author: Niklaus Wirth
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/001.

The Programming Language Pascal (Revised Report)
Author: Niklaus Wirth
ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/1xx/005.pdf

Selected Papers by Per Brinch Hansen

Here selected close to forty of my one hundred publications. Written over a period of forty years, these essays document the technical aspects of my life in computer programming. Most of them are mentioned in his autobiography, A Programmer's Story.

You can read, print, or download individual papers in PDF format by clicking on the publication years. A footnote on the title page of each paper gives full credit to the publication in which the work first appeared, including the name of the copyright holder.

From http://brinch-hansen.net/papers/

1966a	The Cobol compiler for the Siemens 3003
1966b	Design considerations for the RC 4000 computer
1967a	The logical structure of the RC 4000 computer
1967b	The RC 4000 real-time control system at Pulawy
1969a	RC 4000 Software: Multiprogramming System (abridged)
1969b	RC 4000 Computer: Reference Manual
1969c	RC 4000 Software: Multiprogramming System (complete)
1970a	The nucleus of a multiprogramming system
1971a	An outline of a course on operating system principles
1972a	Structured multiprogramming
1973b	Shared classes
1973c	Testing a multiprogramming system
1975a	The programming language Concurrent Pascal
1976b	The Solo operating system: A Concurrent Pascal program
1976c	The Solo operating system: Processes, monitors, and classes
1976e	The programmer as a young dog
1977a	Experience with modular concurrent programming
1977c	Design principles
1977d	Network---A multiprocessor program
1978a	Distributed processes: A concurrent programming concept
1978b	Reproducible testing of monitors
1978c	A keynote address on concurrent programming
1981b	The design of Edison
1987a	Joyce---A programming language for distributed systems
1989a	A multiprocessor implementation of Joyce
1989b	The nature of parallel programming
1989c	The Joyce Language Report
1990a	The linear search rediscovered
1992a	Householder reduction of linear equations
1993a	Monitors and Concurrent Pascal: A personal history
1993b	Model programs for computational science
1993c	Parallel cellular automata
1994b	Multiple-length division revisited
1994c	SuperPascal---A publication language
1994d	Interference control in SuperPascal
1995c	Efficient parallel recursion
1995d	The all-pairs pipeline
1995e	Balancing a pipeline
1999b	Java's insecure parallelism
2001b	The evolution of operating systems
2002b	The invention of concurrent programming

---