Aspects preserving properties

@article{Djoko2008AspectsPP,
  title={Aspects preserving properties},
  author={Simplice Djoko Djoko and R{\'e}mi Douence and Pascal Fradet},
  journal={Sci. Comput. Program.},
  year={2008},
  volume={77},
  pages={393-422}
}
Aspect Oriented Programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness propertiesof the base program. In this article, we identify categories of aspects that preserve some classes of properties. It is then sufficient to check that an aspect belongs to a specific category to know which properties will remain satisfied by woven programs. Our categories of aspects, inspired by Katz's, comprise observers, aborters and… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS