Cited By
View all- Jakobs MWehrheim H(2017)Programs from ProofsACM Transactions on Programming Languages and Systems10.1145/301442739:2(1-56)Online publication date: 10-Mar-2017
- Bockisch Cvan 't Riet MYin HAksit MLin ZChen YZhao JMorandat FZendra O(2015)Trace-based debugging for advanced-dispatching programming languagesProceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems10.1145/2843915.2843922(1-10)Online publication date: 4-Jul-2015
- Lemos OMasiero P(2011)A pointcut-based coverage analysis approach for aspect-oriented programsInformation Sciences: an International Journal10.1016/j.ins.2010.06.003181:13(2721-2746)Online publication date: 1-Jul-2011
- Show More Cited By