Larch/C++ Reference Manual
Is Version Of
Larch/C++ is a notation for formally specifying the behavior and interfaces of C++ classes and functions. The goal of this reference manual is to precisely record the design of Larch/C++. We try to give examples and explanations, and we hope that these will be helpful to readers trying to learn about formal specification using Larch/C++.
Copyright © 1995, 1996, 1997 Gary T. Leavens