Tracing sharing in an imperative pure calculus: extended abstract.

Paola Giannini, Marco Servetto, Elena Zucca

Browse the full ECOOP paper archive.