Login / Signup

True small-step reduction for imperative object oriented languages.

Marco ServettoLindsay Groves
Published in: FTfJP@ECOOP (2013)
Keyphrases