Pengcheng Wu, Karl J. Lieberherr
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information
GPCE, 2005.
@inproceedings{GPCE-2005-WuL, author = "Pengcheng Wu and Karl J. Lieberherr", booktitle = "{Proceedings of the Fourth International Conference on Generative Programming and Component Engineering}", doi = "10.1007/11561347_11", isbn = "3-540-29138-5", pages = "141--156", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Shadow Programming: Reasoning About Programs Using Lexical Join Point Information}", volume = 3676, year = 2005, }