archives

A Quick Overview of Larch/C++


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

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

Full text available as:Postscript
Adobe PDF

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