15-212: Principles of Programming
Lecture 7: Data Structures, Abstraction Functions, and Representation Invariants
Key Concepts
Signatures and structures
Signature ascription
Opaque and transparent ascription
Data abstraction
Abstraction functions
Representation invariants
Data persistence
Binary search trees
Sample Code
On-line Notes by Robert Harper
Signatures and Structures
Views and Data Abstraction
Suggested Reading in
Programming in Standard ML
:
Chapter 18: Signatures and Structures
[
CS 15-212 Home page
|
schedule
|
language
|
assignments
|
handouts
]
Michael Erdmann
