What are the Goals of Larch/C++?

The Larch/C++ effort has the following goals.

• Closely match C++.

• Specify anything implementable in C++.

• Allow layered descriptions, with ``tunable'' formality.

• Can specify C++ public, protected, and private interfaces.

• Supports inheritance of specifications and behavioral subtyping.

The current status of Larch/C++ is that the language has a semantics that is mostly settled. There is a checker that available now, which can be obtained as follows.

• WWW

  http://www.cs.iastate.edu/~leavens/larchc++.html

• anonymous ftp

  file://ftp.cs.iastate.edu/pub/larchc++/

The current checker does not do type checking. We are hoping that will be ready by the end of 1997.