Semantic characterization of flow diagrams and their decomposability

  • Giorgio De Michelis-Carla Simone
Monday Afternoon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    C. Böhm, G. Jacopini, Flow diagrams, Turing and Languages with only two Formation Rules, C.ACM 9.5 (1966), 366–371.CrossRefGoogle Scholar
  2. [2]
    J.M. Cadiou, Z. Manna, Recursive Definitions of Partial Functions and their Computations, Proc.ACM Conference of Proving Assertions about Programs, Las Cruces, New Mexico (1972), 58–65.Google Scholar
  3. [3]
    G. De Michelis, Recursive Functions not dependent on the Computational Rules, Proc.International Computing Symposium, Davos, North Holland (1974), 25–31.Google Scholar
  4. [4]
    D.E. Knuth, R.W. Floyd, Notes on avoiding GOTO statements, Inf.Proc. Letters 1 (1971), 23–31.CrossRefGoogle Scholar
  5. [5]
    S.Rao Kosaraju, Analysis of Structured Programs, Proc.V.Annual ACM Symposium on Theory of Computation, Austin (1973), 240–252.Google Scholar
  6. [6]
    A. Maggiolo Schettini, H.R. Strong, A Graph-Theoretic Algorithm for transforming Recursive Programs, Atti del Congresso di Informatica Teorica AICA, Pisa (1973), 377–392.Google Scholar
  7. [7]
    M.Maiocchi, R. Polillo, Tecniche di programmazione strutturata, Informatica (to appear).Google Scholar
  8. [8]
    J.M.Morris, Lambda — Calculus Models of Programming Launguages,MAC TR 57, MIT (1968).Google Scholar
  9. [9]
    W.W. Peterson, T. Kasami, N. Tokura, On the Capabilities of While, Repeat and Exit statements, C. ACM 16.8 (1973), 503–512.Google Scholar
  10. [10]
    D. Scott, The Lattice of Flow Diagrams, Symposium on Semantics of Algorithmic Languages, Springer Lecture Notes in Mathematics, 188 (1971), 311–366.Google Scholar
  11. [11]
    W.A. Wulf, Programming without the goto, Proc. IFIP Congress (1971), 3, 84–88.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Giorgio De Michelis-Carla Simone
    • 1
  1. 1.Gruppo di Elettronica e CiberneticaUniversità di MilanoItaly

Personalised recommendations