cpp

This is a series of studies of the semantics of C++.

It is currently broken down into two parts:

1. high level semantics
2. low level semantics