Java Jr.: A fully abstract trace semantics for a core Java language (2005)

Cached

Download Links

by Alan Jeffrey , Julian Rathke
Venue:In ESOP, volume 3444 of LNCS
Citations:24 - 0 self