Canonical Term Functors and Parameterization-by-use for the Specification of Abstract Data Types

Beierle, Christoph; Voß, Angelika

Please use this identifier to cite or link to this item: doi:10.22028/D291-38727

Title:	Canonical Term Functors and Parameterization-by-use for the Specification of Abstract Data Types
Author(s):	Beierle, Christoph Voß, Angelika
Language:	English
Year of Publication:	1983
Place of publication:	Kaiserslautern
DDC notations:	004 Computer science, internet
Publikation type:	Report
Abstract:	Algebraic and algorithmic specification methods for abstract data types are combined in the specification language ASPIK covering the whole scope from high level requirements and formal specifications to functional programs. The link between axiomatic and algorithmic specifications is provided by the notion of canonical term functor, a generalization of canonical term algebra. Specifications are structured hierarchically and the new concept of parameterization-by-use offers a flexible means to refine such hierarchies. These features are illustrated by several examples of ASPIK specifications.
Link to this record:	urn:nbn:de:bsz:291--ds-387279 hdl:20.500.11880/35691 http://dx.doi.org/10.22028/D291-38727
Series name:	Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI
Series volume:	83,7
Date of registration:	20-Apr-2023
Notes:	In der GND existiert kein Normdatensatz für die Person, die sie eindeutig als solche identifiziert. Alternative oder damit in Verbindung stehende Schreibweisen: Voss, Angelika, Voss Angi.
Faculty:	SE - Sonstige Einrichtungen
Department:	SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship:	SE - Sonstige
Collections:	SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:

File	Description	Size	Format
SEKI-MEMO-83-07_Beierle-Voß_Canonical-Term-Functors-and-Parameterization-by-use-for-the-Specification-of-Abstract-Data-Types.pdf		16,25 MB	Adobe PDF	View/Open

Export: BibTex