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.
-
Yoonsik Cheon and Gary T. Leavens.
The Larch/Smalltalk Interface Specification Language.
ACM Transactions on Software Engineering and Methodology,
3(3):221-253, July 1994.
http://doi.acm.org/10.1145/196092.195325
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: 2007/08/10 21:07:52 $
Gary T. Leavens