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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. 1.
    J. B. Dennis, On the design and implementation of a common base language. Proceedings of the Symposium on Computers and Automata. Vol. XXI, MRI Symposia Series. Polytechnik Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1971.Google Scholar
  2. 2.
    P. Lauer, Formal Definition of ALGOL 60. Technical Report TR 25.088, IBM Laboratory, Vienna, December 1968.Google Scholar
  3. 3.
    P. Lucas and K. Walk, On the formal description of PL/I. Annual Review in Automatic Programming, Vol.6, Part 3, Pergamon Press 1959, pp 105–182.Google Scholar
  4. 4.
    J. McCarthy, Towards a mathematical science of computation. Information Processing 62, North-Holland, Amsterdam 1963, pp 21–28.Google Scholar
  5. 5.
    J. McCarthy, A formal description of a subset of ALGOL. Formal Language Description Languages for Computer Programming. North-Holland, Amsterdam 1966, pp 1–12.Google Scholar
  6. 6.
    P. J. Landin, The mechanical evaluation of expressions. The Computer Journal, Vol. 6, No. 4 (January 1964), pp 308–320.Google Scholar
  7. 7.
    P. J. Landin, Correspondence between ALGOL 60 and Church's lambdanotation (Parts I and II). 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–165.Google Scholar
  8. 8.
    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, ACM, February 1971, pp 55–82.Google Scholar
  9. 9.
    J. B. Dennis, Programming generality, parallelism and computer architecture. Information Processing 68, North-Holland, Amsterdam 1969, pp 484–492.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Jack B. Dennis
    • 1
  1. 1.Project MAC, Massachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations