On the construction of programs
By: edited by R.M. McKeag and A.M. Macnaghten.
Contributors: McKeag, R. M.; Macnaghten, A. M.
Publisher: Cambridge University Press
Published: 1980
Place of publication: Cambridge; New York
Language: eng
Number of pages: 422
Subjects: Computer programming.; Structured programming.; Parallel processing (Electronic computers)
Notes: Includes bibliographies and index.
"Based on a summer school held at the Queen's University of Belfast from 3rd to 14th September 1979"--Pref.
Table of contents: title: An introduction to Pascal-plus / by D.W. Bustard; title: A structured compiler / by J. Welsh; title: A structured operating system / by R.M. McKeag; title: Modules and visibility in the Ada programming language / by J.D. Ichbiah ... [et al.]; title: Parallel processing in Ada / by O. Roubine & J.-C. Heliard; title: Concurrent Pascal / by D. Coleman; title: A model for communicating sequential processes / by C.A.R. Hoare; title: Languages for parallel computers / by R.H. Perrott; title: Algorithms for parallel computers / by M. Clint & R.H. Perrott; title: Information systems : modelling, sequencing, and transformations / by M.A. Jackson; title: Specification language / by J.R. Abrial, S.A. Schuman & B. Meyer.