

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
These class notes from cs350: data structures cover the continued discussion on abstract data types (adt). The difference between an adt and its implementation, the specifications and operations of an adt, and provides an example of a list adt. It also introduces the concept of axioms and pre/post conditions.
Typology: Study notes
1 / 2
This page cannot be seen from the preview
Don't miss anything!
Class 3: Friday, September 5, 2008 Announcements: Shay Ellison will be tutoring in Olin 207 Sunday thru Thursday from 8:00 to 10:00PM. Abstract Data Types Continued Last time we did an intuitive introduction to ADT saying ADT’s have
Example of a UML (Uniform Modeling Language) Diagram : LIST items create() destroy() empty() size() insert() remove() retrieve() Axioms: We can formally describe the properties of an ADT. For example: