Larch/C++ Reference Manual

DRAFT, $Revision: 5.41 $

12 April 1999

by Gary T. Leavens


(1)

See section B Bibliography, for details on references to the literature, cited in this manual.

(2)

Currently the semantics are stated informally. We will eventually give a more formal semantics to Larch/C++, but as with any large design project, there are benefits to sketching the design informally first. This is similar to the idea of designing a program before coding it. In the case of Larch/C++, the size and complexity of C++ make this approach imperative.

(3)

Although the C++ standard does not define the effect of modifying a string-literal, it does state that the type is not an array of constant char objects (const char[]), but just "array of char", i.e., char [].

(4)

Thanks to Chalin for several discussions about this point.

(5)

Thanks to Rustan Leino, Mark Vandevoorde, Dave Detlefs, Yang Meng Tan, and Patrice Chalin for a series of personal communications about the semantics of trashed.

(6)

Thanks to Peter Mueller for a discussion on this point, and for bringing [Poetzsch-Heffter97] to my attention.

(7)

Personal communication, J. Smith.


This document was generated on 12 April 1999 using the texi2html translator version 1.50.