Abstract data types and interface contracts

Knowledge package outline

Topic

Computation and software foundations

Purpose

Separates permitted operations from hidden representation.

Package contents

Stack interfaces; invariants; interchangeable implementations.

Dependencies

Data structures.