#
Computer Engineering 70

Formal Specification and Advanced Data Structures

## Catalog Description

Specification, representation, implementation, and validation of data structures; object-oriented design and programming in a strongly typed functional language (Haskell or ML) with emphasis on reliable reusable software; formal specification of data structures (graphs, sets, bags, tables, environments, trees, expressions, graphics); informal use of specifications to guide implementation and validation of programs; guidelines and practice in designing for and with reuse.

## Contact Information

- Instructor: Darren Atkinson (
`datkinson`) - Teaching assistant: Gavin Hagiwara (
`ghagiwara`)

## Course Resources

- Syllabus
- Midterm Exam #1 Solutions
- Midterm Exam #2 Solutions
- Final Exam Solutions
- ML Implementations: 2-3 trees and skew heaps
- Laboratory Assignments