A Quick Overview of Larch/C++
This paper gives a quick overview of Larch/C++, an interface speci cation language for C++. Through examples, we explain declarations, function speci cations, class speci cations, and template speci cations. An extended example is given in the last section. The reader is assumed to have some familiarity with C++. The reader should have some familiarity with the idea of formal speci cation, but is not required to be familiar with the Larch approach to formal speci cation.