Sciweavers

TOOLS
2010
IEEE
14 years 4 months ago
Welterweight Java
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
Johan Östlund, Tobias Wrigstad