Title: The Algebraic Data Type Specification Language
Authors: Duponcheel, Luc ×
Heyman, Jurgen
Van Puymbroeck, Willy
Lewi, Johan
Van Horebeek, Ivo #
Issue Date: 1987
Publisher: North-Holland Pub. Co.
Series Title: Microprocessing and microprogramming vol:21 pages:231-240
Abstract: The ADTS (Algebraic Data Type Specification) language that is developed at the BTM Reserch Centre in cooperation with the KU LEuven is described. The ADTS method and language is based on the abstract data type concept and incorporates algebraic specification techniques. Specific to our approach is the distinction between constructors and operations. The former construct data structures, the latter define functions on data structures. Modularity, parameterisation and exception handling are included in the language.
ISSN: 0165-6074
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science