Zusammenfassung
Neben den bisher eingeführten Rechenstrukturen wie BOOL, NAT und SEQ gibt es noch eine große Reihe von weiteren grundlegenden Rechenstrukturen, die in der Programmierung Verwendung finden. Diese Rechenstrukturen und ihre Varianten können allgemein nicht sämtlich in einer Programmiersprache direkt vorgegeben werden. Vielmehr sehen problemorientierte Programmiersprachen Rechenstrukturschemata vor, die es erlauben, eine Vielzahl von individuellen Rechenstrukturen durch Kombination der Rechenstrukturschemata mit Hilfe von Sortendeklarationen zu erzeugen. Mit der Deklaration neuer Sorten werden gleichzeitig bestimmte Funktionen implizit mitdeklariert, die dann zur Verfügung stehen, um mit den Elementen der deklarierten Sorten entsprechend rechnen zu können.
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
© 1992 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M. (1992). Sortendeklarationen. In: Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77321-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-77321-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55191-1
Online ISBN: 978-3-642-77321-1
eBook Packages: Springer Book Archive