Cheon, Yoonsik and Leavens, Gary T. (1994) A Quick Overview of Larch/C++. Technical Report TR93-18a, Department of Computer Science, Iowa State University.
A Quick Overview of Larch/C++
Yoonsik Cheon and Gary T. Leavens
Department of Computer Science, Atanasoff Hall
Iowa State University, Ames, Iowa 50011-1040 USA
email@example.com and firstname.lastname@example.org
This paper gives a quick overview of Larch/C++, an interface specification
language for C++. Through examples, we explain declarations, function
specifications, class specifications, and template specifications. 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 specification, but is not required
to be familiar with the Larch approach to formal specification.
Contact site administrator at: email@example.com