News
UCSD Pascal files
Books
(brand new TI book!)
Compiler sources
Pascal 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/
|
The Cobol compiler for the Siemens 3003 |
|
|
Design considerations for the RC 4000 computer |
|
|
The logical structure of the RC 4000 computer |
|
|
The RC 4000 real-time control system at Pulawy |
|
|
RC 4000 Software: Multiprogramming System (abridged) |
|
|
RC 4000 Computer: Reference Manual |
|
|
RC 4000 Software: Multiprogramming System (complete) |
|
|
The nucleus of a multiprogramming system |
|
|
An outline of a course on operating system principles |
|
|
Structured multiprogramming |
|
|
Shared classes |
|
|
Testing a multiprogramming system |
|
|
The programming language Concurrent Pascal |
|
|
The Solo operating system: A Concurrent Pascal program |
|
|
The Solo operating system: Processes, monitors, and classes |
|
|
The programmer as a young dog |
|
|
Experience with modular concurrent programming |
|
|
Design principles |
|
|
Network---A multiprocessor program |
|
|
Distributed processes: A concurrent programming concept |
|
|
Reproducible testing of monitors |
|
|
A keynote address on concurrent programming |
|
|
The design of Edison |
|
|
Joyce---A programming language for distributed systems |
|
|
A multiprocessor implementation of Joyce |
|
|
The nature of parallel programming |
|
|
The Joyce Language Report |
|
|
The linear search rediscovered |
|
|
Householder reduction of linear equations |
|
|
Monitors and Concurrent Pascal: A personal history |
|
|
Model programs for computational science |
|
|
Parallel cellular automata |
|
|
Multiple-length division revisited |
|
|
SuperPascal---A publication language |
|
|
Interference control in SuperPascal |
|
|
Efficient parallel recursion |
|
|
The all-pairs pipeline |
|
|
Balancing a pipeline |
|
|
Java's insecure parallelism |
|
|
The evolution of operating systems |
|
|
The invention of concurrent programming |
Previous page: Apple Pascal
Next page: About