A Graph-Based Operational Semantics of OO Programs.

Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao

Browse the full ICFEM paper archive.