Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 The Larch/Smalltalk Project
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.