A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages (2006)

Cached


by Feng Chen , Mark Hills
Citations:4 - 1 self