Warum abstrakte Datentypen?
type: Item
instance of: scholarly article
title: Warum abstrakte Datentypen?
zbMATH Open document ID: 0545.68015
author: Friedrich L. Bauer
published in: Informatik Spektrum
publication date: 1985-01-01T00:00:00Z
review text: Die klassischen Hilfsmittel zum rekursiven Aufbau von Datenstrukturen - Tupelbildung und Variantenbildung - sind unzureichend, wenn nicht zusätzlich Kongruenzrelationen eingeführt werden. Dies führt auf natürliche Weise zu abstrakten, algebraischen Datentypen, deren Modelle ja gerade gewissen Kongruenzrelationen über beliebigen Termbildungssystemen gehorchen. Es kann nicht-isomorphe Modelle geben, die man durch verschiedene Homomorphismen über der Term-Algebra erhält (''Rechenstrukturen''); dies hat den Vorteil, mehr Entwurfs- Freiheit zu lassen. Die Konstruktion von Modellen wird für einige exemplarische Fälle diskutiert. Es wird gezeigt, daß für gewisse abstrakte algebraische Typen durch Tupelbildung und Variantenbildung allein keine Modelle erhältlich sind; die klassische Theorie braucht das zusätzliche Hilfsmittel der ''Zeiger'', um solche ''unendlichen'' Objekte einführen zu können.
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 3868592
zbMATH Keywords: abstract algebraic data types
zbMATH Keywords: computational structures
zbMATH Keywords: formation of tuples
zbMATH Keywords: formation of variants
zbMATH Keywords: generic data structures
zbMATH Keywords: generation principle
zbMATH Keywords: polymorphic types
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3868592