A literate, executable, denotational semantics of simple C++ declarations (1993)

Cached

Download Links

by Joseph Reynolds , Joseph Reynolds