E. Bodden, É. Tanter, and M. Inostroza, Join point interfaces for safe and flexible decoupling of aspects, ACM Transactions on Software Engineering and Methodology, vol.23, issue.1, pp.1-7, 2014.
DOI : 10.1145/1018203.1018208

H. Chen, COCA: Computation Offload to Clouds Using AOP, 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), pp.466-473, 2012.
DOI : 10.1109/CCGrid.2012.98

J. Clements and M. Felleisen, A tail-recursive machine with stack inspection, ACM Transactions on Programming Languages and Systems, vol.26, issue.6, pp.1029-1052, 2004.
DOI : 10.1145/1034774.1034778

URL : http://www.ccs.neu.edu/scheme/pubs/cf-toplas04.pdf

N. D. Jones, C. K. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. International Series in Computer Science, 1993.

G. Kiczales, J. Irwin, J. Lamping, J. Loingtier, C. V. Lopes et al., Aspect oriented programming, In Special Issues in Object-Oriented Programming. Max Muehlhaeuser, 1996.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming number 2072 in Lecture Notes in Computer Science, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales and M. Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering (ICSE 2005), pp.49-58, 2005.
DOI : 10.1145/1062455.1062482

URL : http://people.cs.ubc.ca/~gregor/teaching/papers/aopmr34-sumbitted-icse-05.pdf

P. Leger, É. Tanter, and R. Douence, Modular and flexible causality control on the Web, Science of Computer Programming, vol.78, issue.9, pp.1538-1558, 2013.
DOI : 10.1016/j.scico.2012.11.005

URL : https://hal.archives-ouvertes.fr/inria-00626363

P. Leger, É. Tanter, and H. Fukuda, An expressive stateful aspect language, Science of Computer Programming, vol.102, issue.1, pp.108-141, 2015.
DOI : 10.1016/j.scico.2015.02.001

S. Soares, E. Laureano, and P. Borba, Implementing distribution and persistence aspects with AspectJ, Proceedings of the 17th International Conference on Object-Oriented Programming Systems, Languages and Applications, pp.174-190, 2002.
DOI : 10.1145/582435.582437

URL : http://www.cin.ufpe.br/~phmb/papers/DistributionPersistenceAspectJOOPSLA2002.pdf

F. Steimann, The paradoxical success of aspectoriented programming, Proceedings of the 21st ACM SIG- PLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2006), pp.481-497, 2006.
DOI : 10.1145/1167515.1167514

URL : http://www-public.int-evry.fr/~gibson/Teaching/CSC5021/ReadingMaterial/Steimann06.pdf

F. Steimann, T. Pawlitzki, S. Apel, and C. Kästner, 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

URL : http://www.fernuni-hagen.de/ps/pubs/TOSEM-preprint.pdf

K. Sullivan, W. G. Griswold, H. Rajan, Y. Song, Y. Cai et al., Modular aspect-oriented design with XPIs, ACM Transactions on Software Engineering and Methodology, vol.20, issue.2, 2010.
DOI : 10.1145/1824760.1824762

URL : http://design.cs.iastate.edu/papers/TOSEM-09/aop-xpi-journal.pdf

N. Tabareau, A theory of distributed aspects, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.133-144
DOI : 10.1145/1739230.1739246

URL : https://hal.archives-ouvertes.fr/inria-00423996

N. Tabareau, I. Figueroa, and É. Tanter, A typed monadic embedding of aspects, Proceedings of the 12th annual international conference on Aspect-oriented software development, AOSD '13, pp.171-184, 2013.
DOI : 10.1145/2451436.2451457

URL : https://hal.archives-ouvertes.fr/hal-00763695

É. Tanter, J. Fabry, R. Douence, J. Noyé, and M. Südholt, Scoping strategies for distributed aspects, Science of Computer Programming, vol.75, issue.12, pp.1235-1261, 2010.
DOI : 10.1016/j.scico.2010.06.011

URL : https://hal.archives-ouvertes.fr/inria-00523569

É. Tanter, I. Figueroa, and N. Tabareau, Execution levels for aspect-oriented programming: Design, semantics, implementations and applications, Science of Computer Programming, vol.80, issue.1, pp.311-342, 2014.
DOI : 10.1016/j.scico.2013.09.002

URL : https://hal.archives-ouvertes.fr/hal-00872786

É. Tanter and R. Toledo, A Versatile Kernel for Distributed AOP, Proceedings of the IFIP International Conference on Distributed Applications and Interoperable Systems, pp.316-331, 2006.
DOI : 10.1007/11773887_25

URL : https://link.springer.com/content/pdf/10.1007%2F11773887_25.pdf

R. Toledo, A. Núñez, É. Tanter, and J. Noyé, Aspectizing Java Access Control, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.101-117, 2012.
DOI : 10.1109/TSE.2011.6

URL : https://hal.archives-ouvertes.fr/inria-00567489

E. Truyen and W. Joosen, Run-time and atomic weaving of distributed aspects. Transactions on Aspect- Oriented Software Development II, pp.147-181, 2006.
DOI : 10.1007/11922827_6

URL : http://www.cs.kuleuven.ac.be/~eddy/PUBLICATIONS/TAOSD2006.pdf

P. Wadler, How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages, Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pp.113-128, 1985.
DOI : 10.1007/3-540-15975-4_33

D. Walker, S. Zdancewic, and J. Ligatti, A theory of aspects, Proceedings of the 8th ACM SIGPLAN Conference on Functional Programming (ICFP 2003), pp.127-139, 2003.

M. Wand, G. Kiczales, and C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems, vol.26, issue.5, pp.890-910, 2004.
DOI : 10.1145/1018203.1018208

URL : http://www.cs.iastate.edu/~leavens/FOAL/papers-2002/wand-kiczales-dutchyn.ps.gz