APTS project homepage

Project Plan

Turn APTS into a useful prototype.

Future Plans:

Carry out the development plan outlined in the NFS funded project.

How to install the APTS system

You need to first install the SETL2 software.

Installation instructions:

• Down load the apts.tar file.
• Read the instructions for installing the SETL and the APTS software.
• Run the simple test examples.

The APTS Manual

Here you can find the new on-line version of the APTS EXTERNAL SPECIFICATION MANUAL

You can also get the postscript version of the APTS manual produced from the LaTex source:
APTS Manual (postscript)

Other Information:

• Here are the lecture notes for a minicourse on program transformation.