The design and construction of software systems

  • Jack B. Dennis
Chapter 1: Introduction
Part of the Lecture Notes in Computer Science book series (LNCS, volume 30)


Computer System Host System Hardware Component Primitive Operation Linguistic Level 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. 1.
    J. G. Kemeny and T.E. Kurtz, BASIC Programming. John Wiley and Sons, Inc., New York 1967.Google Scholar
  2. 2.
    P. J. Landin, A correspondence between ALGOL 60 and Church's lambdanotation, Part I: Comm. of the ACM, Vol. 8, No. 2 (February 1965), pp 89–101. Part II: Comm. of the ACM, Vol. 8, No. 3 (March 1965), pp 158–169Google Scholar
  3. 3.
    J. B. Johnston, The contour model of block structured processes. Proceedings of a Symposium on Data Structures in Programming Languages, SIGPLAN Notices, Vol. 6, No. 2 (February 1971), pp 55–82.Google Scholar
  4. 4.
    D. M. Berry, Block structure: retention or deletion? Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 1971, pp 86–100.Google Scholar
  5. 5.
    P. Lucas and K. Walk, On the formal description of PL/I. Annual Review in Automatic Programming, Vol. 6, Part 3, Pergamon Press, 1969.Google Scholar
  6. 6.
    P. Lucas, P. Lauer, and H. Stigleitner, Method and Notation for the Formal Definition of Programming Languages. Technical Report TR 25.087, IBM Laboratory Vienna, June 1968.Google Scholar
  7. 7.
    M. S. Paterson, Decision problems in computational models. Proceedings of an ACM Conference on Proving Assertions About Programs, SIGPLAN Notices, Vol. 7, No. 1 (January 1972), pp 74–82.Google Scholar
  8. 8.
    A. P. Ershov, Survey paper on program schemata, presented at the IFIP Congress, Ljubljana, 1971.Google Scholar
  9. 9.
    A. Holt, F. Commoner, S. Even, and A. Pnueli, Marked directed graphs. J. of Computer and System Sciences, Vol. 5, No. (1971), pp 511–523.Google Scholar
  10. 10.
    E. W. Dijkstra, Co-operating sequential processes. Programming Languages, F. Genuys, Ed., Academic Press, New York 1968. (First published as Report EWD 123, Department of Mathematics, Technological University, Eindhoven, The Netherlands, 1965.)Google Scholar
  11. 11.
    S. S. Patil, Closure Properties of interconnections of determinate systems. Record of the Project MAC Conference on Concurrent System and Parallel Computation, ACM, New York 1970, pp 107–116Google Scholar
  12. 12.
    E. W. Dijkstra, A constructive approach to the problem of program correctness. BIT (Nordisk Tidskrift for Informations-behandling), Vol. 8, No. 3 (1968), pp 174–186.Google Scholar
  13. 13.
    Z. Manna and R. J. Waldinger, Toward automatic program synthesis. Comm. of the ACM, Vol. 14, No. 3 (March 1971), pp 151–165.Google Scholar
  14. 14.
    A. Avizienis, G. C. Gilley, F. P. Mathur, D. A. Rennels, J. A. Rohr, and D. K. Rubin, The STAR (Self-Testing and Repairing) computer: an investigation of the theory and practice of fault-tolerant computer design. IEEE Trans. on Computers, Vol. C-20, No. 11 (November 1971), pp 1312–1321.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Jack B. Dennis
    • 1
  1. 1.Massachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations