There is a standard set of traits associated with the C++ built-in types and type constructors. They provide LSL sorts and trait functions for C++ built-in types and types constructed from them. This chapter serves two purposes: (1) it is a reference to the built-in traits for Larch/C++ specifiers, and (2) it is a formal specification of the C++ built-in types. We expect that the formal specification of the C++ built-in types would be useful in formal program verification, as well as an aid to writing C++ code.
Go to the first, previous, next, last section, table of contents.