Zusammenfassung
Eine Semantik ordnet syntaktischen Konstruktionen ihre Bedeutung zu. Die denotationelle Semantik bildet syntaktische Konstruktionen auf mathematische Objekte ab. Für eine funktionale Programmiersprache ist die Semantik einer Deklaration eine Umgebung, d.h. eine Funktion, die Bezeichner auf mathematische Objekte abbildet (z.B. auf Funktionen). Der naheliegende Gedanke, Typen als Mengen zu betrachten und als Werte die Elemente dieser Mengen, funktioniert nur, solange keine rekursiven Definitionen vorhanden sind.
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 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Thiemann, P. (1994). Einführung in die denotationelle Semantik. In: Grundlagen der funktionalen Programmierung. Leitfäden der Informatik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-89207-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-322-89207-2_9
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-519-02137-7
Online ISBN: 978-3-322-89207-2
eBook Packages: Springer Book Archive