[aosd-discuss] aspects and contracts

[Mira Mezini]

I believe that these papers is also relevant in the context of the
discussion about the relation between aspects and contracts:

http://www.cag.lcs.mit.edu/~rinard/paper/fse04.pdf

http://www.cs.brown.edu/~sk/Publications/Papers/Published/kfg-verif-aspect-a
dvice-mod/paper.pdf

http://www.cag.lcs.mit.edu/~rinard/paper/fase03.pdf

Mira

> Dean,
> 
> Interesting point indeed. We are exploring similar ideas. You might be
> interested in the following technical report. It discusses the notions of
> dependency alignment, weak and strong orthogonality:
> 
> http://www.comp.lancs.ac.uk/computing/aose/papers/COMP-001-2004.pdf
> 
> Awais.