References
Schmidt, G.: Programme als partielle Graphen. Inst. für Informatik der Techn. Universität München, Bericht 7813, 1977
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–519
Schmidt, G.: Programs as Partial Graphs I: Flow Equivalence and Correctness. Theoret. Comp. Sci. 14 No. 2, to appear 1981
Schmidt, G.: Programs as Partial Graphs II: Recursion. Theoret. Comp. Sci. 14 No. 3, to appear 1981
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmidt, G. (1981). Investigating programs in terms of partial graphs. In: Noltemeier, H. (eds) Graphtheoretic Concepts in Computer Science. WG 1980. Lecture Notes in Computer Science, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10291-4_18
Download citation
DOI: https://doi.org/10.1007/3-540-10291-4_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10291-5
Online ISBN: 978-3-540-38435-9
eBook Packages: Springer Book Archive