Last Lecture

Table of Contents

PPT Slide

Last Lecture

This Lecture

Recall Example: Table

Table (cont.)

Claim

Building new Traits out of Old Ones

Renaming

Exempting

The Larch Handbook

Interface Specifications

What’s in an Interface?

A Typical Interface Language

Example:A C Interface Specification

A C Interface Spec. (cont.)

Proving Correctness

Proof Obligations

Example

Example (cont.)

Email: shawnh@cs.cmu.edu

Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html