Building Programatica

Table of Contents

Building Programatica

People

Previous Work (Before 3 May, 2001)

Previous Work (Before 3 May, 2001)

Extensibility

Extensibility

Recent achievements

Recent achievements

Module System

Module System Implementation

Module System Importance

New Theorem Prover Support

What’s next

Home Page: http://www.cse.ogi.edu/~hallgren/

Other information:
Programatica site visit, Oregon Graduate Institute, September 10, 2001