Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kohlhase, M. (2006). Abstract Data Types (Module ADT). In: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. Lecture Notes in Computer Science(), vol 4180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11826095_19
Download citation
DOI: https://doi.org/10.1007/11826095_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37897-6
Online ISBN: 978-3-540-37898-3
eBook Packages: Computer ScienceComputer Science (R0)