Process-Algebraic Foundations of Aspect-Oriented Programming, Proc. of the 3rd Int ,
DOI : 10.1007/3-540-45429-2_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3405
Enforcing trace properties by program transformation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.54-66, 2000. ,
DOI : 10.1145/325694.325703
URL : https://hal.archives-ouvertes.fr/inria-00000937
Disunification: A survey In Computational Logic: Essays in Honor of Alan Robinson, 1991. ,
A Framework for the Detection and Resolution of Aspect Interactions, Proc. of the Conf. on Generative Programming and Component Engineering, pp.173-188, 2002. ,
DOI : 10.1007/3-540-45821-2_11
URL : https://hal.archives-ouvertes.fr/inria-00000950
Trace-based aspects, Aspect-Oriented Software Development, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00000947
A formal definition of crosscuts, Proc. of the 3rd Int. Conf. on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection), volume 2192 of LNCS, pp.170-186, 2001. ,
DOI : 10.1007/3-540-45429-2_13
Feature specification and automated conflict detection, ACM Transactions on Software Engineering and Methodology, vol.12, issue.1, pp.3-27, 2003. ,
DOI : 10.1145/839268.839270
Realizing aspects by transforming for events, IEEE Automated Software Engineering (ASE), 2002. ,
A Calculus of Untyped Aspect-Oriented Programs, Proc. of ECOOP 2003, pp.415-427, 2003. ,
DOI : 10.1007/978-3-540-45070-2_4
Aspect-oriented programming, Proc. of ECOOP, pp.220-242, 1997. ,
On composition and reuse of aspects, Proc. of the 2nd Foundations of Aspect-oriented Languages Workshop at AOSD 2003, pp.17-24, 2003. ,
Static analysis of aspects, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.30-39, 2003. ,
DOI : 10.1145/643603.643607
Superimpositions and Aspect-oriented Programming, The Computer Journal, vol.46, issue.5, pp.529-541, 2003. ,
DOI : 10.1093/comjnl/46.5.529
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3434
Pointcuts and advice in higher-order languages, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.158-167, 2003. ,
DOI : 10.1145/643603.643620
Aspect-Oriented Logic Meta Programming, Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, pp.250-272, 1999. ,
DOI : 10.1007/3-540-48443-4_22
A theory of aspects, Proc. of the Int. Conf. on Functional Programming, 2003. ,
Joinpoints as ordered events: Towards applying implicit context to aspect-orientation, Proc. Int. WS on Advanced Separation of Concerns at ICSE, 2001. ,
A semantics for advice and dynamic join points in aspect-oriented programming, FOOL 9, pp.67-88, 2002. ,
DOI : 10.1145/1018203.1018208