The Larch Project

Larch at CMU

Recent uses of Larch.
- Kiyotaka Kuroda, Larch/C specification of a hierarchy of real-time control devices. August 1995.
- Amy Moormann Zaremski and Jeannette M. Wing, Specification Matching of Software Components, Proc. ACM SIGSOFT Symp. on the Foundations of Software Engineering, October 1995. Also CMU-CS-95-127, March 1995.
- Scott Nettles, A Larch Specification of Copying Garbage Collection, CMU-CS-92-219, December 1992.
Documents and tools.
- Work related to the Larch family of specification is available via anonymous FTP from ftp.cs.cmu.edu in the directory /afs/cs/project/larch/ftp or by contacting wing@cs.cmu.edu directly for copies of papers and technical reports.
- Results of July 1994 survey of the larch-interest mailing list.

Larch Outside of CMU

For an overview of the Larch Project and a beautiful picture of Larch trees see the MIT Larch home page. For other pointers to other interesting Larch activity see the DEC/SRC Larch home page.

The Larch tools available from MIT through FTP are in the distribution directory.

Other Formal Methods Activity

Oxford University's Formal Methods home page.

Other CMU Activity

CMU School of Computer Science home page.

wing@cs.cmu.edu (last updated 10-January-95)