next up previous
Next: Acknowledgements Up: Larch/C++ An Interface Specification Previous: What good is it?

What are the Goals of Larch/C++?

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

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.

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



Gary T. Leavens
1999-01-26