A philosophy of programming

A course of 3 lectures given at the imperial college of science and technology university of london on 3, 4 and 5 october 1973
  • F. L. Bauer
Chapter 2.: Program Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 46)


Programming Language Great Common Divisor Border Line System Uniformity State Transition Diagram 
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.


  1. [1]
    A.P. ERSHOV, Aestetics and the Human Factor in Programming. The Computer Bulletin 16, No. 7, 352–355 (1972)Google Scholar
  2. [2]
    R.GNATZ, Sets and Predicates in Programming Languages. Lectures given at the Marktoberdorf Summer School 1973.Google Scholar
  3. [3]
    E.W.DIJKSTRA, Notes on Structured Programming. (Report EWD 249) 1969Google Scholar
  4. [4]
    N.WIRTH, Program Development by Stepwise Refinement. Bericht ETH Zürich, Fachgruppe Computer Wiss.Nr.2, 1971Google Scholar
  5. [5]
    F.W.ZURCHER and B.RANDELL, Proceedings IFIP Congress 1968 North Holland, Amsterdam 1969Google Scholar
  6. [6]
    E.W. DIJKSTRA, Comm ACM 11, 341–346 (1968)Google Scholar
  7. [7]
    E.W.DIJKSTRA, A Short Introduction to the Art of Programming. (Report EWD 316) 1971Google Scholar
  8. [8]
    P. NAUR, Programming by Action Clusters. BIT 9, 250–258 (1969)Google Scholar
  9. [9]
    R.CONWAY and D.GRIES, An Introduction to Programming. Cambridge, Mass. 1973Google Scholar
  10. [10]
    E.W.DIJKSTRA, A Simple Axiomatic Basis for Programming Language Constructs. (Report EWD 372). Lectures, given at the Marktoberdorf Summer School 1973Google Scholar
  11. [11]
    F.L.BAUER (editor), Software Engineering. Lecture Notes in Economics and Mathematical Systems, vol. 81, Springer Verlag 1973Google Scholar
  12. [12]
    R.WIEHLE, Looking at Software as Hardware. Lectures, given at the Marktoberdorf Summer School 1973Google Scholar
  13. [13]
    J.DENNIS, Concurrency. In:[11]Google Scholar
  14. [14]
    F.L. BAUER, Andrei und das Untier. Bayer. Schulbuch-Verlag, München 1972Google Scholar
  15. [15]
    I.D.HILL, Wouldn't it be nice if we could write computer programs in ordinary English. The Computer Bulletin 16, No. 6 (1972)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • F. L. Bauer
    • 1
  1. 1.Technical University MunichGermany

Personalised recommendations