LARCH Larch Home Page

Larch is a multi-site project exploring methods, languages, and tools for the practical use of formal specifications. Much of the early work was done at MIT in the former Systematic Program Development Group in the Laboratory for Computer Science and at Digital Equipment (now part of Compaq) in its Systems Research Center in Palo Alto, California. Other Larch sites are listed below.

MIT Larch Pages

Work connected with Larch continues at MIT, but at a lesser level than in the past. Information about current and past activities can be found on the following pages.

Other Sources of Information

Larch Sites and Participants

Related Pages

Last modified on January 11, 2001