Preliminary Design of Larch/C++ (1992)
by
Gary T. Leavens
,
Yoonsik Cheon
| Venue: | PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON LARCH, JULY, 1992, WORKSHOPS IN COMPUTING |
| Citations: | 7 - 2 self |
BibTeX
@INPROCEEDINGS{Leavens92preliminarydesign,
author = {Gary T. Leavens and Yoonsik Cheon},
title = {Preliminary Design of Larch/C++},
booktitle = {PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON LARCH, JULY, 1992, WORKSHOPS IN COMPUTING},
year = {1992},
pages = {159--184},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
