Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies