Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.

Pengcheng Wu, Karl J. Lieberherr

Browse the full GPCE paper archive.