The Larch/Smalltalk Project

What is Larch/Smalltalk?

Larch/Smalltalk is a behavioral interface specification language for Smalltalk-80.

An overview of Larch/Smalltalk is contained in the following papers.

You might also want to look at the book J.V. Guttag and J.J. Horning, Larch: Languages and Tools for Formal Specification, (Springer-Verlag, 1993), to see more details on the Larch approach to specification.

Details and How to Get Larch/Smalltalk

The current beta release of the Larch/Smalltalk system is available by anonymous ftp from in directory pub/larchSmalltalk. You can also get Larch/Smalltalk itself as a tar file and other papers there. You might also want to look at the README file from the ftp directory.

You may also want tools for the Larch Shared Language (LSL). These can be obtained by anonymous ftp from in the directory pub/Larch.

There is a global home page for Larch.


Graduate student Yoonsik Cheon ( is the main designer of Larch/Smalltalk. He works with Gary T. Leavens.


Larch/Smalltalk was funded in part by NSF grant CCR-9593168.

Last update $Date: 2013/07/10 19:01:06 $
Gary T. Leavens