next up previous
Next: About this document ... Up: Larch/C++ An Interface Specification Previous: What are the Goals


Larch/C++ has been developed with Yoonsik Cheon and with research input from Krishna Kishore Dhara, and many others. Matt Markland helped with the tools. See the reference manual for full acknowledgements.

Work on Larch/C++ has been supported in part by the US National Science Foundation under grants CCR-9108654, CCR-9503168, and CCR-9803843.

Thanks to Kim Bruce, who, years ago, urged me to rewrite this out of a slide format into something easier to read.

Gary T. Leavens