Compile-Time Debugging of C Programs Working on Trees.

Jacob Elgaard, Anders Mller, Michael I. Schwartzbach

Browse the full ESOP paper archive.