Pengcheng Wu, Karl J. Lieberherr. Shadow Programming: Reasoning About Programs Using Lexical Join Point Information. In Robert Glück, Michael R. Lowry, editors, Generative Programming and Component Engineering, 4th International Conference, GPCE 2005. Volume 3676 of Lecture Notes in Computer Science, pages 141-156, Springer, Tallinn, Estonia, 2005. [doi]
Abstract is missing.