Cited By
View all- Shonle MGriswold WLerner S(2012)A framework for the checking and refactoring of crosscutting conceptsACM Transactions on Software Engineering and Methodology10.1145/2211616.221161821:3(1-47)Online publication date: 3-Jul-2012
- Tatlock ZKundu SLerner SGupta R(2011)Parameterized Program Equivalence CheckingHigh-Level Verification10.1007/978-1-4419-9359-5_8(123-145)Online publication date: 2-Apr-2011
- Song MTilevich EArora SLeavens G(2009)Enhancing source-level programming tools with an awareness of transparent program transformationsProceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications10.1145/1640089.1640112(301-320)Online publication date: 26-Oct-2009
- Show More Cited By