Leavens, Gary T. and Cheon, Yoonsik (1992) Preliminary Design of Larch/C + +. Technical Report TR92-16a, Department of Computer Science, Iowa State University.
Preliminary Design of Larch/C++
(extended abstract for the
First International Workshop on Larch)
Gary T. Leavens and Yoonsik Cheon
We describe the problems encountered in the design of Larch/C++, especially
its object-oriented features. We discuss a range of possible solutions
to these problems, and give the rationale for our particular solutions.
We also present examples of Larch/C++ specifications and discuss
differences from Larch/C.
Contact site administrator at: email@example.com