SCJ: Memory-Safety Checking without Annotations.

Chris Marriott, Ana Cavalcanti

Browse the full FM paper archive.