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

Pengcheng Wu, Karl J. Lieberherr (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics