NOTE: This HTML version of the IMPS User's Manual was
produced by Ran Pang by translating a LaTeX version using LaTeX2HTML.
(Due to difficulties with the translation, the Micro Exercises chapter
is not part of the HTML version.) The first few chapters of the
Manual concerning the IMPS user interface are out of date. A new
revised version of the Manual is planned.
The IMPS User's Manual
First Edition, Version 2
William M. Farmer
Joshua D. Guttman
F. Javier Thayer
The MITRE Corporation
Bedford, MA 01730 USA
11 April 1995