Lecture overview -- Keyboard shortcut: 'u'  Previous page: Data-centered modularity -- Keyboard shortcut: 'p'  Next page: Reusability -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Alphabetic index  Help page about these notes  Course home    Introduction to Object-oriented Programming - slide 10 : 22

Abstract Datatypes

A datatype is a set of values with common properties. A datatype is a classification of data that reflects the intended use of the data in a program.

An abstract datatype is a data type together with a set of operations on the values of the type. The operations hide and protect the actual representation of the data.

stack.gas
A specification of the abstract datatype stack.
knnatnum-extended.gas
A specification of the abstract datatype natural numbers.
kn-boolean.gas
A specification of the abstract datatype boolean.
The sample specifications of abstract datatypes illustrate a high-level and a somewhat theoretical approach