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

Course Resources