Investigating programs in terms of partial graphs

Extended abstract
  • Gunther Schmidt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 100)


  1. [1]
    Schmidt, G.: Programme als partielle Graphen. Inst. für Informatik der Techn. Universität München, Bericht 7813, 1977Google Scholar
  2. [2]
    Schmidt, G.: Investigating Programs in Terms of Partial Graphs. In: H.A. Maurer (ed.): 6th Int. Coll. on Automata, Languages and Programming, Lecture Notes in Comp. Sci. 71, (Springer 1979) 505–519Google Scholar
  3. [3]
    Schmidt, G.: Programs as Partial Graphs I: Flow Equivalence and Correctness. Theoret. Comp. Sci. 14 No. 2, to appear 1981Google Scholar
  4. [4]
    Schmidt, G.: Programs as Partial Graphs II: Recursion. Theoret. Comp. Sci. 14 No. 3, to appear 1981Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Gunther Schmidt
    • 1
  1. 1.Institut für Informatik der Technischen Universität MünchenGermany

Personalised recommendations