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: Nicolas Treat (ntreat)
Course Resources
- Syllabus
- Midterm #1 Solutions
- Midterm #2 Solutions
- Final Exam Solutions
- Laboratory Assignments