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