University of California, Santa Cruz

Prof. Paulo Franca - Spring 2000

Introduction

Syllabus

Guidelines for labs

Lab sections

Take quiz & check grades

 

Abstract Data Type as a Mathematical entity

bulleta set of mathematical structures with a set of well defined operations;
bulleteach structure has a "state" or "value"
bulletsome operations (manipulation procedures) cause the ADT to change state
bulletother operations (access functions) return information without changing the state

Examples with a stack:

bulletsets of structures
bulletmanipulation procedures : pop and push
bulletaccess functions: isempty, topof