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.