Automatic inference of stationary fields: a generalization of java's final fields.

Christopher Unkel, Monica S. Lam

Browse the full POPL paper archive.