Skip to content

TS4J: a fluent interface for defining and computing typestate analyses.

Eric Bodden

VenueA*PLDI
Year2014
ProceedingsSOAP@PLDI

Browse the full PLDI paper archive.