2006 | OriginalPaper | Chapter
Abstract Data Types (Module ADT)
Author : Michael Kohlhase
Published in: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Most specification languages for mathematical theories support definition mechanisms for sets that are inductively generated by a set of constructors and recursive functions on these under the heading of
abstract data types
. Prominent examples of abstract data types are natural numbers, lists, trees, etc. The module ADT presented in this chapter extends
OMDoc
by a concise syntax for abstract data types that follows the model used in the
Casl
(Common Abstract Specification Language [CoF04]) standard.