default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOn the Construction of Programs 1980
- R. M. McKeag, A. M. Macnaghten:
On the Construction of Programs. Cambridge University Press 1980, ISBN 978-0-521-23090-2, pp. 1-422 - David W. Bustard:
An Introduction to Pascal-Plus. On the Construction of Programs 1980: 1-58 - Jim Welsh:
A Structured Compiler. On the Construction of Programs 1980: 59-106 - R. M. McKeag:
A Structured Operating System. On the Construction of Programs 1980: 107-152 - Jean Ichbiah, John G. P. Barnes, Jean-Claude Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann:
Modules and Visibility in the Ada Programming Language. On the Construction of Programs 1980: 153-192 - Olivier Roubine, Jean-Claude Heliard:
Parallel Processing in Ada. On the Construction of Programs 1980: 193-212 - Derek Coleman:
Concurrent Pascal - An Appraisal. On the Construction of Programs 1980: 213-228 - C. A. R. Hoare:
A Model for Communicating Sequential Processes. On the Construction of Programs 1980: 229-254 - Ronald H. Perrott:
Languages for Parallel Computers. On the Construction of Programs 1980: 255-282 - Maurice Clint, Ronald H. Perrott:
Algorithms for Parallel Computers. On the Construction of Programs 1980: 283-318 - M. A. Jackson:
Information Systems: Modelling, Sequencing and Transformations. On the Construction of Programs 1980: 319-342 - Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer:
Specification Language. On the Construction of Programs 1980: 343-410
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 11:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
