A graph-based operational semantics of OO programs

  • Wei Ke
  • , Zhiming Liu
  • , Shuling Wang
  • , Liang Zhao

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A graph-based operational semantics of OO programs'. Together they form a unique fingerprint.
Sort by

Computer Science