Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.

Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron

Browse the full ECOOP paper archive.