Zusammenfassung
Zur Beschreibung der Syntax einer kleinen Sprache erster Ordnung eignen sich die Konzepte aus Kap. 11.2. Funktionsdefinitionen werden durch rekursive Programmschemata dargestellt. Ein solches Schema besteht aus einer Folge von Gleichungen zwischen Termen über einer algorithmischen Signatur, wobei die linken Seiten der Gleichungen eingeschränkt sind, so daß sich dort nur ein Funktionssymbol angewendet auf ein Tupel von Variablen befinden kann.
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.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Thiemann, P. (1994). Semantik und Implementierung funktionaler Sprachen mit Funktionen erster Ordnung. In: Grundlagen der funktionalen Programmierung. Leitfäden der Informatik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-89207-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-322-89207-2_12
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-519-02137-7
Online ISBN: 978-3-322-89207-2
eBook Packages: Springer Book Archive