A Quick Overview of Larch/C++

Cheon, Yoonsik and Leavens, Gary T. (1994) A Quick Overview of Larch/C++. Technical Report TR93-18a, Department of Computer Science, Iowa State University.

Abstract

A Quick Overview of Larch/C++
by
Yoonsik Cheon and Gary T. Leavens
Department of Computer Science, Atanasoff Hall
Iowa State University, Ames, Iowa 50011-1040 USA
cheon@cs.iastate.edu and leavens@cs.iastate.edu
Abstract
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.


Subjects:
All uncategorized technical reports


ID code:
00000052
Deposited by:
Staff Account on 14 June 1994





Contact site administrator at: ssg@cs.iastate.edu