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.

Yoonsik Cheon and Gary T. Leavens. A Gentle Introduction to Larch/Smalltalk Specification Browsers. Department of Computer Science, Iowa State University, TR #94-01, January 1994.
The Larch/Smalltalk interface specification language
Yoonsik Cheon, Gary T. Leavens
ACM Transactions on Software Engineering and Methodology (TOSEM), 3(3):221-253, July 1994

frames are not supported

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 ftp.cs.iastate.edu 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 larch.lcs.mit.edu in the directory pub/Larch.

There is a global home page for Larch.

Staff

Graduate student Yoonsik Cheon (cheon@jazz.seri.re.kr) is the main designer of Larch/Smalltalk. He works with Gary T. Leavens.

Acknowledgements

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

Last update $Date: 2013/07/10 19:01:06 $

Gary T. Leavens