Tomoyuki Aotani Hidehiko Masuhara Towards a type system for detecting never-matching pointcut compositions. 23-26 2007 FOAL http://doi.acm.org/10.1145/1233833.1233837 conf/foal/2007 db/conf/foal/foal2007.html#AotaniM06