Avalon/C++

Avalon/C++ is a programming language under development at Carnegie Mellon University. Avalon/C++ allows programmers to "customize" the synchronization and fault-tolerance properties of new data type by letting them inherit properties such as serializability and crash recovery from a library of basic types.

Bibliography:
- D. Detlefs, M. Herlihy, and J. Wing. Inheritance of Synchronization and Recovery Properties in Avalon/C++. IEEE Computer, pages 57--69, December 1988.

Back to Extensions homepage

This page is maintained by Nathalie Furmento, Yves Roudier, and Günther Siegel. For all remarks or suggestions, please send us a mail.

Last updated: Wed, Aug 28 1996