Skip to content

True small-step reduction for imperative object oriented languages.

Marco Servetto, Lindsay Groves

VenueAECOOP
Year2013
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.