Zusammenfassung
Eine Methode zur Verifikation einfacher Programmiersprachen, deren Kontrollstruktur außer der Sequenzierung nur bedingte Verzweigungen, Exits und while-Schleifen zuläßt, wird skizziert und anhand eines Beispiels erläutert. Aufbauend auf einer operationellen Semantik von Programmiersprachen resultiert diese Methode aus einer mathematisch-logisch exakten Präzisierung der Floyd/Hoare/Manna’schen Zusicherungsmethode und unterscheidet sich von dieser insbesondere bezüglich dem Nachweis der Programmterminierung.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturangaben
R.W. Floyd: “Assigning Meanings to Programs”, Proceedings of Symposia in Applied Mathematics, Volume XIX, 19–32 (1967)
C.A.R. Hoare: “An Axiomatic Basis for Computer Programming”, CACM 12, 10, 576–583 (1969)
D.C. Luckham/ D.M. Park/ M.S. Paterson: “On Formalized Computer Programs”, J. Comput. System Sci. 4, 220–249 (1970)
A.L. Luft: “Grundlagen einer Methode für die rechner gestützte Verifikation von while-Proarammen während der Programmerstellung” Arbeitsbericht des Instituts für Mathem. Maschi nen und Datenverarbeitung Erlangen, Bd. 8, Nr. 7, August 1975
Z. Manna: “Mathematical Theory of Computation” McGraw-Hill Book Company, New York 1974
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Luft, A.L. (1976). Eine Methode Zur Rechnergestützten Verifikation von While-Programmen. In: Schneider, HJ., Nagl, M. (eds) Programmiersprachen. Informatik-Fachberichte, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66319-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-66319-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07619-3
Online ISBN: 978-3-642-66319-2
eBook Packages: Springer Book Archive