Zusammenfassung
Nachdem wir in Kapitel 2 die Semantik funktionaler Programme definiert haben, können wir nun daran gehen, Aussagen über solche Programme zu beweisen, also funktionale Programme zu verifizieren. Dabei unterscheiden wir zwischen
-
Aussagen, die sich direkt auf ein funktionales Programm P beziehen, und
-
Aussagen über die Funktion sem[[P]], die durch P definiert wird.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2001 B. G. Teubner GmbH, Stuttgart/Leipzig/Wiesbaden
About this chapter
Cite this chapter
Walther, C. (2001). Verifikation funktionaler Programme. In: Semantik und Programmverifikation. TEUBNER-TEXTE zur Informatik, vol 34. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-86768-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-86768-1_3
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-519-00336-6
Online ISBN: 978-3-322-86768-1
eBook Packages: Springer Book Archive