More on Advice on Structuring Compilers and Proving Them Correct.

James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Browse the full ICALP paper archive.