On the Construction of Programs 1980
R. M. McKeag, A. M. Macnaughten (Eds.):
On the Construction of Programs.
Cambridge University Press 1980 
- David W. Bustard:
An Introduction to Pascal-Plus.
1-58
- Jim Welsh:
A Structured Compiler.
59-106
- R. M. McKeag:
A Structured Operating System.
107-152
- Jean Ichbiah, John G. P. Barnes, J. C. Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann:
Modules and Visibility in the Ada Programming Language.
153-192
- Olivier Roubine, J. C. Heliard:
Parallel Processing in Ada.
193-212
- Derek Coleman:
Concurrent Pascal - An Appraisal.
213-228
- C. A. R. Hoare:
A Model for Communicating Sequential Processes.
229-254
- Ronald H. Perrott:
Languages for Parallel Computers.
255-282
- Maurice Clint, Ronald H. Perrott:
Algorithms for Parallel Computers.
283-318
- M. A. Jackson:
Information Systems: Modelling, Sequencing and Transformations.
319-342
- Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer:
Specification Language.
343-410
Last update Sat May 25 01:45:12 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
