next up previous
Next: What is Larch/C++?

Larch/C++
An Interface Specification Language for C++

Gary T. Leavens1
Department of Computer Science
Iowa State University, Ames, Iowa 50011 USA
lc++@cs.iastate.edu

August 1, 1997

Abstract:

The idea, goals, and status of Larch/C++ are described.



 

Gary T. Leavens
1999-01-26