Abstract:

Modular reasoning is discussed and applied widely in program analysis and verification fields, including static analysis, program evolution, program verification, and so on. Aspect-oriented programming (AOP) is quantifiable and oblivious, and it violates the traditional modular principle.So, its the modular reasoning of AOP becomes more difficult, which seriously affected its application prospects The objectives and type of reasoning about the aspect-oriented program are described in this paper.Several different approaches were introduced. The research shows that there are some unresolved problems about the modular reasoning. Finally, the potential research directions of modular reasoning of aspect-oriented programs are discussed.
 

Key words: aspect-oriented programming; modular; reasoning