Static Reduction Analysis for Imperative Object Oriented Languages.

Gilles Barthe, Bernard P. Serpette

Browse the full LPAR paper archive.