Defining the undefinedness of C.

Chris Hathhorn, Chucky Ellison, Grigore Rosu

Browse the full PLDI paper archive.