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/C++ Project
The following documents are listed in the order in which
someone learning Larch/C++ might benefit from reading them.
The first is a very brief overview of Larch/C++.
The documents below are either HTML or text files.
Postscript and dvi versions of these documents are also available
from the
Larch/C++ ftp directory; however, note that the reference manual
is over 300 pages long.
The Larch/C++ release also contains
most of these documents in HTML format, if you wish to browse them locally.
Samples directory of specifications written in Larch/C++
Exercises directory for learning about Larch/C++ (very incomplete).
Gary T. Leavens.
Larch/C++ Reference Manual, Iowa State
University, Version 5.41, April 1999.
This is also available in
[postscript]
and
[dvi]
formats.
Beware, the postscript and dvi files are big,
since the manual is over 300 pages long.
The following papers
give more details on Larch/C++. All but the first are somewhat obsolete.
They are listed in reverse cronological order, so the ones at the top
of the list are less out of date than those at the bottom.
Most are only available in postscript format.
Krishna Kishore Dhara and Gary T. Leavens.
Forcing Behavioral Subtyping Through Specification Inheritance.
In Proceedings 18th International Conference on
Software Engineering, Berlin, Germany, pages 258-267.
IEEE 1996.
An extended and slightly revised version is
Department of Computer Science, Iowa State University,
TR #95-20c, August 1995, revised August and December 1995, March 1997.
Matthew W. Markland.
Design and Implementation of the Larch/C++ Type System.
Department of Computer Science, Iowa State University,
TR #98-05, June 1998.
David M. Egle.
Evaluating Larch/C++ as a Specification Language:
A Case Study Using the Microsoft Foundation Class Library.
Department of Computer Science, Iowa State University,
TR #95-17, July 1995.
Yoonsik Cheon and Gary T. Leavens.
A Quick Overview of Larch/C++.
Journal of Object-Oriented Programming, 7(6):39-49,
October 1994.
Gary T. Leavens and Yoonsik Cheon.
Preliminary Design of Larch/C++.
In U. Martin and J. Wing, editors,
Proc. First International Workshop on Larch, Dedham 1992,
pages 159-184.
Workshops in Computing Series.
Springer-Verlag, 1993.
The Larch/C++ release is currently in beta-test.
It can be obtained from the ftp directory listed below.
To get a version that runs under Windows 95,
get the latest file name LCPPWin.*.zip, where *
is a number like 5.14.
To get a source version, which you can compile and install under Unix
(and possibly other operating systems)
get the latest file name LCPP.*.tar.gz, where *
is a number like 5.14.
If you have a comment about Larch/C++,
or a question that isn't answered in the documentation,
send e-mail to us at
lc++@cs-DOT-iastate-DOT-edu (replace -DOT- by .).
You should also read at least chapters 1-4 of the book:
J.V. Guttag and
J.J. Horning,
Larch: Languages and Tools for Formal Specification,
(Springer-Verlag, 1993).
Gary T. Leavens
is guiding the work on Larch/C++.
Also working on various aspects are
Robert Lavey,
Matt Markland,
Clyde Ruby,
Hua Zhong.
In the past, major contributions were made by
graduate student
Yoonsik Cheon.
A recent Ph.D. student,
Krishna Kishore Dhara,
has been working on theoretical aspects related to Larch/C++.
Also in the past, Tim Wahls,
Dave Egle,
Rhadika Allada, and Matt Shores have helped on various aspects of Larch/C++.
The development of Larch/C++ was partially funded by a research initiation
grant from the (US)
National Science Foundation in 1991,
and is currently funded by NSF grants CCR-9503168 and CCR-9803843.