Data Structure and Abstract Data Type

Abstract Data Types (ADT)

Each operation has

  • A signature →\rightarrow→ describes the params + the type of the returned value
  • A pre-condition (logic statement) → specifies what is assumed to be true before the operation may be applied
  • A post-condition (logic statement) → describes the value / effect of the operation

Data Structures

Time Complexity of Data Structures