Abstract data types

Slides

• Introduction

  ---

• Abstraction and types
• Algebraic specification
• Decomposition -- modules versus objects
• Types versus classes

  ---

• Summary
• Q/A
• Literature

  ---

• Resources