Go to the first, previous, next, last section, table of contents.


C.2 Differences Between Larch/C++ and C++

It is crazy to compare C++, which is a programming language, and Larch/C++, which is a specification language. It would be like comparing apples and writing (about apples). Nevertheless, Larch/C++ attempts to parse all valid C++ constructs. However, Larch/C++ does not make most of the semantic checks required for a C++ program. Thus, the Larch/C++ parser will parse many improper C++ programs without issuing any error messages. Some of what seem like differences in the syntax from [Stroustrup91] and [Ellis-Stroustrup90] reflect the coming C++ standard [Stroustrup95]. These differences should all be upward compatible with older C++ except that the "implicit int" rule of C in declarations is no longer supported in the new standard.


Go to the first, previous, next, last section, table of contents.