Zusammenfassung
In einem deterministischen Programm gibt es in jedem Moment höchstens eine Anweisung, die als nächstes auszuführen ist. In Programmiersprachen wie Pascal oder Modula sind alle Programme deterministisch. In diesem Kapitel untersuchen wir eine kleine Klasse von deterministischen Programmen, die oft auch als while-Programme bezeichnet werden. Diese Klasse ist der Kern, der in allen anderen Klassen von Programmen dieses Buches enthalten ist.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Apt, K.R., Olderog, ER. (1994). Deterministische Programme. In: Programmverifikation. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-57947-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-57947-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57479-8
Online ISBN: 978-3-642-57947-9
eBook Packages: Springer Book Archive