Skip to content

An inductive abstract semantics for coFJ.

Pietro Barbieri, Francesco Dagnino, Elena Zucca

VenueAECOOP
Year2020
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.