After describing background on aspect-oriented programming and these problems, I will give an overview of various techniques proposed in the literature for solving the problems. Some annotations and static analysis can be helpful in allowing efficient reasoning, by identifying what advice is potentially relevant to a given property. In particular I discuss joint work with Clifton and Noble on concern domains, an effect analysis that uses annotations to efficiently identify potential interference. I discuss some situations in which such knowledge can lead to efficient combination of specifications in some situations. I also discuss future work on problems in weaving specifications.

This talk in part describes joint work with Curtis Clifton and James Noble and is based on work described in Clifton's Ph.D. dissertation. That work was supported in part by the US NSF under grant CCF-04-8078. For more details see http://www.cs.iastate.edu/~leavens/modular-aop/.