A Semantics of the Separation of Interface and Implementation in C++.

Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim

Browse the full COMPSAC paper archive.