An ADT signature is the description of the characteristics of an ADT, such as it’s operations. Most ADT Signatures define:
- A constructor, to create the ADT
- Methods to add and remove elements
- A Boolean method to check if the ADT is full/empty
- A method to ‘get’ an element
length: ADT → int
isFull: ADT → bool
isEmpty: ADT → bool