The purpose
of this course is to gain a basic knowledge of fundamental data structures
and an understanding of their relationship to the performance of algorithms
and programs. This includes an introduction to program analysis and to the
proof of program correctness.