Skip to content

Java Jr: Fully Abstract Trace Semantics for a Core Java Language.

Alan Jeffrey, Julian Rathke

VenueAESOP
Year2005
ProceedingsESOP

Browse the full ESOP paper archive.