Login / Signup

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

Christopher UnkelMonica S. Lam
Published in: POPL (2008)
Keyphrases