A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs

Xin Chen, Nan Ye, Wenxu Ding. A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs. In Shengchao Qin, editor, Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Volume 6445 of Lecture Notes in Computer Science, pages 157-171, Springer, 2010. [doi]

Authors

Xin Chen

This author has not been identified. Look up 'Xin Chen' in Google

Nan Ye

This author has not been identified. Look up 'Nan Ye' in Google

Wenxu Ding

This author has not been identified. Look up 'Wenxu Ding' in Google