Advertisement

Programming as an evolutionary process

  • F. L. Bauer
Chapter 2.: Program Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 46)

Keywords

Recursive Definition Iterative Form Program Verifier Iterative Program Programming Style 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    W.L. van der Poel Micro-programming and Trickology. In: Digitale Informationswandler. Braunschweig 1962Google Scholar
  2. [2]
    J.J. Horning, B. Randell Structuring Complex Processes. Marktoberdorf Summer School 1970Google Scholar
  3. [3]
    O.-J. Dahl Hierarchical Program Structures. Marktoberdorf Summer School 1970Google Scholar
  4. [4]
    C.A.R. Hoare Data Structures. Marktoberdorf Summer School 1970Google Scholar
  5. [5]
    R. Bayer On the Structure of Data and Application Programs. Marktoberdorf Summer School 1971Google Scholar
  6. [6]
    A. Wang, O.-J. Dahl Coroutine Sequencing in a Block Structured Environment. Marktoberdorf Summer School 1971Google Scholar
  7. [7]
    C.A.R. Hoare Program Proving. Marktoberdorf Summer School 1971Google Scholar
  8. [8]
    E.W. Dijkstra Hierarchical Ordering of Sequential Processes. Marktoberdorf Summer School 1971Google Scholar
  9. [9]
    P. Brinch Hansen Concurrent Programming Concepts. Marktoberdorf Summer School 1973Google Scholar
  10. [10]
    R. Gnatz Sets and Predicates in Programming Languages. Marktoberdorf Summer School 1973Google Scholar
  11. [11]
    C.A.R. Hoare, N. Wirth An Axiomatic Definition of the Programming Language PASCAL. Marktoberdorf Summer School 1973Google Scholar
  12. [12]
    W.M. Turski Morphology of Data. Marktoberdorf Summer School 1973Google Scholar
  13. [13]
    E.W. Dijkstra A Simple Axiomatic Basis for Programming Language Constructs. Marktoberdorf Summer School 1973Google Scholar
  14. [14]
    K. Zuse Der Plankalkül. Veröffentlicht durch Gesellschaft für Mathematik und Datenverarbeitung, Bericht Nr. 63, Bonn 1972Google Scholar
  15. [15]
    S.C. Kleene General Recursive Functions of Natural Numbers. Math. Ann. 112, 727–742 (1936)Google Scholar
  16. [16]
    Z. Manna, S. Ness, J. Vuillemin Inductive Methods for Proving Properties of Programs. Comm. ACM 16, 491–502 (1973)Google Scholar
  17. [17]
    D.C. Cooper The Equivalence of Certain Computations. Comp. J. 9, 45–52 (1966)Google Scholar
  18. [18]
    J. Darlington, R.M. Burstall A System which Automatically Improves Programs. Proc. Third Internat. Conf. on Artif. Intell., Stanford 1973, 479–485Google Scholar
  19. [19]
    J.H. Morris Another Recursive Induction Principle. Comm. ACM 14, 351–354 (1971)Google Scholar
  20. [20]
    H.R. Strong Translating Recursive Equations into Flow Charts. In: Proc. 2nd Annual ACM Symposium on Theory of Computing, New York 1970, 184–197. Also J. CSS 5, 254–285 (1971)Google Scholar
  21. [21]
    H. Kröger Bemerkungen zur Auflösung von Rekursionen. In: Seminar über Methodik des Programmierens, TU München, Interner Bericht, 1974, 45–62Google Scholar
  22. [22]
    F.L. Bauer Variables Considered Harmful. Appendix to A Philosophy of Programming. TUM Report 7513, 1975 (and in this volume)Google Scholar
  23. [23]
    R.W. Floyd Assigning Meanings to Programs. In: Schwartz, J.T. (ed.): Mathematical Aspects of Computer Science. Proc. Symposia in Applied Mathematics 19. Providence (R.I.): Amer. Math. Soc. 1967, 19–32Google Scholar
  24. [24]
    E.W. Dijkstra A Constructive Approach to the Problem of Program Correctness. BIT 8. 174–186 (1968)Google Scholar
  25. [25]
    P. Naur Programming by Action Clusters. BIT 9, 250–258 (1969)Google Scholar
  26. [26]
    J.C. King A Program Verifier. Ph.D. Thesis, Carnegie-Mellon University, Pittsb. (Pa.), 1969Google Scholar
  27. [27]
    F.L. Bauer (ed.) Software Engineering — An Advanced Course. Lecture Notes in Computer Science 30, Springer 1975Google Scholar
  28. [28]
    F.L. Bauer, G. Goos Informatik — Eine einführende Übersicht. 2 Vols. (2nd ed.) Springer 1973, 1974Google Scholar
  29. [29]
    F.L. Bauer A Unified, Conceptual Basis of Programming. In: A Philosophy of Programming (London Lectures 1973) TUM Report 7513, 1975 (and in this volume)Google Scholar
  30. [30]
    P.J. Landin The Next 700 Programming Languages. Comm. ACM 9, 157–164 (1966)CrossRefGoogle Scholar
  31. [31]
    F.L. Bauer System Uniformity of Software and Hardware. In: A Philosophy of Programming (London Lectures 1973) TUM Report 7513, 1975Google Scholar
  32. [32]
    C.A.R. Hoare An Axiomatic Basis for Computer Programming. Comm. ACM 12, 576–580, 583 (1969)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

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

Personalised recommendations