The Larch/C++ Project

[Larch/C++]


Contents:
  1. About Larch/C++
  2. Other Larch Resources
  3. Staff
  4. Acknowledgements

There is also a page describing local Iowa State Details related to Larch/C++.


1. About Larch/C++

Documentation

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.

Other papers about Larch/C++

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.

See also Gary T. Leavens's research page for less directly related publications.

Getting the Larch/C++ Release

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.

You will also need the LSL checker.

You can also browse our to do list to read about our plans for the Larch/C++ tools.

E-Mail for help with Larch/C++

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 .).

2. Other Larch Resources

General

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).

Larch Shared Language (LSL)

See also the Larch FAQ.

3. Staff

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++.

4. Acknowledgements

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.

See the Larch/C++ Reference Manual for full acknowledgements.


Gary T. Leavens

Last update $Date: 2007/08/10 23:10:51 $

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.