Procedure Specifications

These slides are based on

• MIT 6.170: Open Courseware, Procedure Specifications
• MIT 6.170: Open Courseware, Abstract Types

1 Introduction

2 Behavioral Equivalence*

3 Specification Structure

4 Declarative Specifications

4.1 More Declarative Spec. Examples

5 Exceptions and Preconditions

6 Specification Ordering

7 Judging Specifications

8 User-Defined Types

9 Types of Types

9.1 Types of Operations

9.2 Example: List

10 Designing and Abstract Type

11 Representation Independence

12 Language Mechanisms

Entire Presentation with Notes
Full page

---

Copyright © 2009 José M. Vidal . All rights reserved.

19 February 2009, 08:11AM