Programmierte Strukturen

  • R. Gnatz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 23)


  1. [1]
    C.A.R. Hoare, "An Axiomatic Basis for Computer Programming", Comm. ACM, 12, 10, (1969) 576–581.Google Scholar
  2. [2]
    E. W. Dijkstra, "Structured Programming", in: I. N. Buxton and B. Randell (ed.), "Software Engineering Techniques", Report on a conference at Rome, Oct. 27–31, 1969.Google Scholar
  3. [3]
    E. W. Dijkstra, "A Constructive Approach to the Problem of Program Correctness", BIT 8 (1969) 174–186.Google Scholar
  4. [4]
    E. W. Dijkstra, "A Simple Axiomatic Basis for Programming Language Constructs" (Report EWD 372). Lectures, given at the Marktoberdorf Summer School 1973.Google Scholar
  5. [5]
    F. L. Bauer, "A Philosophy of Programming", Lectures given at the Imperial College of Science and Technology, University of London (1973).Google Scholar
  6. [6]
    I. Strong et al., "The Problem of Programming Communication with Changing Machines", Comm. ACM, 1, 8 (1958) 12–18.Google Scholar
  7. [7]
    L. Redei, "Algebra I", Akademische Verlagsgesellschaft Geest u. Portig K.G., Leipzig (1959).Google Scholar
  8. [8]
    E. Steinitz, "Algebraische Theorie der Körper", J. reine angew. Math., 137, (1910) 167–309.Google Scholar
  9. [9]
    IU. I. Ianov, "On the Equivalence and Transformation of Program Schemes", Doklady, AN USSR, 113, 1, (1957) 39–42 (ins Englische übersetzt von Morris D. Friedman).Google Scholar
  10. [10]
    J. McCarthy, "Towards a mathematical theory of computation", Proc. IFIP Cong. 1962, North Holland Pub. Co., Amsterdam, (1963).Google Scholar
  11. [11]
    E. W. Dijkstra, "The Structure of the ‘THE'-Multiprogramming System", Comm. ACM, 11, 5 (1968) 341–346.Google Scholar
  12. [12]
    R. Gnatz, "DII: A Plotter — Independent Intermediate Language for Graphical Output", Calcolo, Suppl. IX, (1972) 69–92.Google Scholar
  13. [13]
    P. Naur, "Proof of algorithms by general snapshots", BIT 6 (1966) 310–316.Google Scholar
  14. [14]
    R. W. Floyd, "Assigning Meanings to Programs" Proc. Amer. Math. Soc., Symposia in Applied Mathematics, 19, (1967) 19–32.Google Scholar
  15. [15]
    J. W. deBakker, "Axiomatics of simple assignment statements". M.R. 94, Mathematisch Centrum, Amsterdam (1968).Google Scholar
  16. [16]
    R. Burstall, "Proving properties of programs by structural induction", Experimental Programming Reports: Nr. 17 DMIP, Edinburgh, (1968).Google Scholar
  17. [17]
    C. A. R. Hoare and N. Wirth, "An Axiomatic Definition of the Programming Language PASCAL", Acta Informatica 2, 4, (1973) 335–355.Google Scholar
  18. [18]
    D. L. Parnas, "Information distribution aspects of design methodology", Proc. IFIP Cong. 71, Booklet TA-3, (1971) 26–30.Google Scholar
  19. [19]
    P. Naur, "Programming by Action Clusters", BIT, 9, (1969) 250–258.Google Scholar
  20. [20]
    N. Wirth, "Program Development by Stepwise Refinement" Comm. ACM, 14, 4, (1971) 221–227.Google Scholar
  21. [21]
    F. W. Zurcher and B. Randell, "Iterative Multi-Level Modelling, a Methodology for Computer System Design", Proc. IFIP Cong. 68, North-Holland Pub. Co., Amsterdam, (1969) 867–871.Google Scholar
  22. [22]
    G. Mealy, "Another look at data", Proc. AFIPS, 31, (1967) 525–534.Google Scholar
  23. [23]
    R. M. Balzer, "Dataless programming", Proc. AFIPS, 31, (1967) 557–566.Google Scholar
  24. [24]
    B. Liskov, S. Zilles, "Programming with Abstract Data Types", SIGPLAN Notices, Proc. Symposium on Very High Level Languages, 9, 4, (1974) 50–59.Google Scholar
  25. [25]
    F. L. Bauer, G. Goos, "Informatik, eine einführende Übersicht" 2 Bände, Springer (1971).Google Scholar
  26. [26]
    P. Lorenzen, "Metamathematik", BI-Hochschultaschenbücher, 25, Mannheim (1962).Google Scholar
  27. [27]
    H. Gericke, "Theorie der Verbände" BI-Hochschultaschenbücher, 38/38a, Mannheim (1963).Google Scholar
  28. [28]
    Z. Manna and A. Pneuli, "Axiomatic Approach to Total Correctness of Programs", Acta Informatica, 3, 3 (1974) 243–263.Google Scholar
  29. [29]
    R. Gnatz, "On Basic Concepts of Higher Graphic Languages" in: F. Nake and A. Rosenfeld: "Graphic Languages", North-Holland Pub. Co., Amsterdam (1972) 302–320.Google Scholar
  30. [30]
    R. Gnatz, "Sets and Predicates in Programming Languages" Lectures given at the Marktoberdorf Summer School (1973).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • R. Gnatz
    • 1
  1. 1.Technische Universität MünchenGermany

Personalised recommendations