Open Modules: Modular Reasoning About Advice, Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005), number 3586 in Lecture Notes in Computer Science, pp.144-168, 2005. ,
DOI : 10.1007/11531142_7
An abstract machine for the kell calculus . Formal Methods for Open Object-Based Distributed Systems, pp.31-46, 2005. ,
Racer, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.155-165, 2008. ,
DOI : 10.1145/1390630.1390650
A Generic Membrane Model (Note), Global Computing Workshop, pp.208-222 ,
DOI : 10.1007/3-540-47959-7_3
Avoiding confusion in metacircularity: The meta-helix, Proceedings of the 2nd International Symposium on Object Technologies for Advanced Software (ISOTAS'96), pp.157-172, 1996. ,
DOI : 10.1007/3-540-60954-7_49
Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, vol.63, issue.3, pp.207-239, 2006. ,
DOI : 10.1016/j.scico.2006.01.003
Modular software design with crosscutting interfaces, IEEE Software, vol.23, issue.1, pp.51-60, 2006. ,
DOI : 10.1109/MS.2006.24
Communicating and mobile systems: the ?-calculus, 1999. ,
EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.109-120 ,
DOI : 10.1145/1739230.1739244
Ptolemy: A Language with Quantified, Typed Events, Proceedings of the 22nd European Conference on Object-oriented Programming number 5142 in Lecture Notes in Computer Science, pp.155-179, 2008. ,
DOI : 10.1007/978-3-540-70592-5_8
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, pp.146-178, 2005. ,
DOI : 10.1007/3-540-45694-5_19
Reflection and semantics in LISP, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '84, pp.23-35, 1984. ,
DOI : 10.1145/800017.800513
Types and modularity for implicit invocation with implicit announcement, ACM Transactions on Software Engineering and Methodology, vol.20, issue.1, 2010. ,
DOI : 10.1145/1767751.1767752
Expressive scoping of dynamically-deployed aspects, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.168-179, 2008. ,
DOI : 10.1145/1353482.1353503
Beyond static and dynamic scope, Proceedings of the 5th ACM Dynamic Languages Symposium, pp.3-14, 2009. ,
Execution levels for aspect-oriented programming, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.37-48 ,
DOI : 10.1145/1739230.1739236
URL : https://hal.archives-ouvertes.fr/hal-00872786
Composition of dynamic analysis aspects, Proceedings of the 9th ACM SIGPLAN International Conference on Generative Programming and Component Engineering, pp.113-122, 2010. ,