Publication Date

3-4-1999

Subjects

Software, Theory of Computation

Abstract

Larch/C++ is a notation for formally specifying the behavior and interfaces of C++ classes and functions. The goal of this reference manual is to precisely record the design of Larch/C++. We try to give examples and explanations, and we hope that these will be helpful to readers trying to learn about formal specification using Larch/C++.

Comments

Copyright © 1995, 1996, 1997 Gary T. Leavens

Share

COinS