. Java and . Haskell, En Java, nous avons testé la transformation composite/visiteur avec les outils de réusinage intégrés dans Eclipse et IntelliJ. La transformationcompì ete n'est pas encorecompì etement automatique

J. Autres-travaux, choisi de structurer ce document autour d'une série de travaux sur des langages de programmation modulaires pour des notions de flots ou de structures

.. Un-programme-de-recherche, 1 Objectif(s), p.88

. La-tyrannie-de-la, Elle est intrinsèqueintrinsèquè a toutprobì eme complexe qui contient plusieurs structures Dans le cadre du génie logiciel elle estparticulì erement présente, les logicielsétantlogicielsétant des artefacts complexes et hautement structurés (notamment pour en maitriser l'´ echelle) Devant unprobì eme il faut l'identifier puis tenter de lui apporter des solutions. C'est ce que le communauté de la programmation par aspects s'est attachéè a faire avec plus ou moins de succès

. Ma-connaissance-limitée, Par exemple, les classifications du monde essentiellement arborescentes, les structures fractales (récursive) dans la nature, le calcul de point (plus ou moins) fixe des système dynamiques, l'abstraction d'un mobilè a son centre de gravité pour calculer sa trajectoire, les systèmes en couches et autres membranes biologiques, etc. Je n'ai jamais trouvé jusqu'` a présent une structuration d'un mécanisme non informatique en terme d'aspects. Il y a certes l'analogie de la maison et de ses différents plans (de masse, ´ electrique, de chauffage, etc.) correspondantsàcorrespondantsà différents corps de métier. Mais même dans ce cas l` a, je trouve qu'il y a une

]. Leger, E. Tanter, and R. Douence, Modular and flexible causality control on the Web, Bibliographie Journaux internationaux avec comité de lecture, pp.1538-1558, 2013.
DOI : 10.1016/j.scico.2012.11.005
URL : https://hal.archives-ouvertes.fr/inria-00626363

C. Prud-'homme, X. Lorca, R. Douence, and N. Jussien, Propagation engine prototyping with a domain specific language, Constraints, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867604

R. Simplice-djoko-djoko, P. Douence, and . Fradet, Scoping strategies for distributed aspects, Aspects preserving properties. Sci. Comput. Program. Sci. Comput. Program, vol.77, issue.312, pp.393-422, 2010.

R. Douence and P. Fradet, The next 700 krivine machines. Higher-Order and Symbolic Computation, pp.237-255, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000940

M. Ségura-devillechaise, J. Menaud, N. Loriant, R. Douence, M. Südholt et al., Dynamic adaptation of the squid Web cache with Arachne, IEEE Software, vol.23, issue.1, pp.34-41, 2006.
DOI : 10.1109/MS.2006.9

R. Douence, T. Fritz, N. Loriant, J. Menaud, M. Ségura-devillechaise et al., An Expressive Aspect Language for System Applications with Arachne, Transactions on Aspect-Oriented Software Development I, pp.174-213
DOI : 10.1145/976270.976284
URL : https://hal.archives-ouvertes.fr/inria-00442180

R. Douence and M. Südholt, A generic reification technique for object-oriented reflective languages. Higher-Order and Symbolic Computation, pp.7-34, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00444033

R. Douence and P. Fradet, A systematic study of functional language implementations, Conférences internationales avec comité de lecture, pp.344-387, 1998.
DOI : 10.1145/276393.276397

J. Cohen, R. Douence, and A. Ajouli, Invertible Program Restructurings for Continuing Modular Maintenance, 2012 16th European Conference on Software Maintenance and Reengineering, pp.347-352, 2012.
DOI : 10.1109/CSMR.2012.42
URL : https://hal.archives-ouvertes.fr/hal-00662777

D. Allam, R. Douence, H. Grall, J. Royer, and M. Südholt, A message-passing model for service oriented computing, pp.136-142, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00668975

A. Hannousse, R. Douence, and G. Ardourel, Composable Controllers in Fractal: Implementation and Interference Analysis, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp.51-54, 2011.
DOI : 10.1109/SEAA.2011.18
URL : https://hal.archives-ouvertes.fr/hal-00606269

A. Hannousse, R. Douence, G. Ardourel, ´. Tanter, J. Fabry et al., Static analysis of aspect interaction and composition in component models Expressive scoping of distributed aspects, Proceedings of the 8th International Conference on Aspect-Oriented Software Development, pp.43-52, 2009.

R. Douence, X. Lorca, and N. Loriant, Lazy Composition of Representations in Java, Software Composition, pp.55-71, 2009.
DOI : 10.1145/1047659.1040325
URL : https://hal.archives-ouvertes.fr/inria-00403417

R. Simplice-djoko-djoko, P. Douence, and . Fradet, Aspects preserving properties, Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, pp.135-145, 2008.

R. Simplice-djoko-djoko, P. Douence, and . Fradet, Specialized aspect languages preserving classes of properties, Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.10-14, 2008.

L. D. , B. Navarro, R. Douence, F. Hermenier, J. Menaud et al., Aspect-based patterns for grid programming, 20th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2008, pp.141-148, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00432090

L. D. , B. Navarro, R. Douence, and M. Südholt, Debugging and testing middleware with aspect-based control-flow and causal patterns, Middleware, pp.183-202, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00418841

L. D. , B. Navarro, M. Südholt, R. Douence, and J. Menaud, Invasive patterns for distributed programs, On the Move to Meaningful Internet Systems, pp.772-789, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00467821

R. Douence, D. Le-botlan, J. Noyé, and M. Südholt, Concurrent aspects, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.79-88, 2006.
DOI : 10.1145/1173706.1173718
URL : https://hal.archives-ouvertes.fr/inria-00467938

R. Douence, T. Fritz, N. Loriant, J. Menaud, M. Ségura-devillechaise et al., An expressive aspect language for system applications with arachne, Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, pp.27-38, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00442180

R. Douence, P. Fradet, and M. Südholt, Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.141-150, 2004.
DOI : 10.1145/976270.976288
URL : https://hal.archives-ouvertes.fr/inria-00000946

R. Douence and L. Teboul, A Pointcut Language for Control-Flow, Generative Programming and Component Engineering : Third International Conference Proceedings, pp.95-114, 2004.
DOI : 10.1007/978-3-540-30175-2_6

Y. Guéhéneuc, R. Douence, and N. Jussien, No Java without caffeine: A tool for dynamic analysis of Java programs, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.23-27, 2002.
DOI : 10.1109/ASE.2002.1115000

R. Douence, P. Fradet, and M. Südholt, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings, volume 2487 of Lecture Notes in Computer Science, pp.173-188, 2002.
DOI : 10.1007/3-540-45821-2_11
URL : https://hal.archives-ouvertes.fr/inria-00000950

R. Douence, O. Motelet, and M. Südholt, A formal definition of crosscuts, Lecture Notes in Computer Science, vol.2192, pp.170-186, 2001.
DOI : 10.1007/3-540-45429-2_13

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98 Proceedings, volume 1382 of Lecture Notes in Computer Science, pp.21-37, 1998.
DOI : 10.1007/BFb0053581

R. Douence and P. Fradet, Towards a taxonomy of functional language implementations, Programming Languages : Implementations, Logics and Programs, 7th International Symposium, PLILP'95 Proceedings, volume 982 of Lecture Notes in Computer Science, pp.27-44, 1995.
DOI : 10.1007/BFb0026812

R. Douence and M. Südholt, Un modèle et un outil pour la programmation par aspectsévénementielsaspectsévénementiels, pp.105-117, 2003.

C. Prud-'homme, X. Lorca, R. Douence, and N. Jussien, Prototyper des moteurs de propagation avec un dsl, JFPC, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867713

. Ateliers-internationaux-avec-comité-de-lecture-´-eric, N. Tanter, R. Tabareau, and . Douence, Taming aspects with membranes, pp.3-8, 2012.

A. Hannousse, G. Ardourel, and R. Douence, Views for aspectualizing component models, Proceeding of the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, p.2010, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00448686

L. D. , B. Navarro, R. Douence, A. Nunez, and M. Sudholt, Lts-based semantics and property analysis of distributed aspects and invasive patterns, Proc. of the 3rd International Workshop on Aspects, Dependencies, and Interactions (ADI'08), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00469648

R. Douence, Relational aspects for context passing beyond stack inspection, International Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00469635

R. Douence, D. Le-botlan, J. Noyé, and M. Sudholt, Towards a model of concurrent AOP, International Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06), 2006.
URL : https://hal.archives-ouvertes.fr/inria-00468018

R. Douence and J. Noyé, Towards a concurrent model of event-based aspectoriented programming, European Interactive Workshop on Aspects in Software (EIWAS 2005), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070188

R. Douence, A restricted definition of aop, European Interactive Workshop on Aspects in Software, 2004.

R. Douence and N. Jussien, Non-intrusive constraint solver enhancements, Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS'02), 2002.

R. Douence and N. Jussien, Non-intrusive constraint solver enhancements, First AOSD workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), 2002.

L. Barreto, R. Douence, G. Muller, and M. Sudholt, Programming OS schedulers with domain-specific languages and aspects : New approaches for OS kernel engineering, International Workshop on Aspects, Components, and Patterns for Infrastructure Software at AOSD, 2002.

J. Noyé, R. Douence, and M. Sudholt, Composants et aspects, Ingénierie des composants : Concepts, techniques et outils, pp.169-195, 2005.

R. Douence, P. Fradet, and M. Sudholt, Trace-based aspects, Aspect-Oriented Software Development, pp.201-218, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000947

R. Simplice-djoko-djoko, P. Douence, and . Fradet, Proof of correctness of aspect transformations in the casb, Research Report Network of Excellence in AOSD, vol.88, 2007.

R. Douence, Décrire et comparer les mises en oeuvre de langages fonctionnels, 1996.

D. Ancona and E. Zucca, A calculus of module systems, Journal of Functional Programming, vol.12, issue.02, pp.91-132, 2002.
DOI : 10.1017/S0956796801004257

I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann, An Overview of CaesarJ, LNCS, vol.39, issue.10, pp.135-173, 2006.
DOI : 10.1007/3-540-45429-2_1

N. Beldiceanu, M. Carlsson, T. Petit, and J. Régin, An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization, ECAI, pp.145-150, 2012.

G. Bracha and W. Cook, Mixin-based Inheritance, pp.303-311, 1990.

L. D. , B. Navarro, M. Südholt, W. Vanderperren, D. Bruno-de-fraine et al., Explicitly distributed aop using awed, pp.51-62, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00071386

R. Bird, Pearls of Functionnal Algorithm Design, 2010.

A. Colmerauer and P. Roussel, The Birth of Prolog, HOPL, pp.37-52, 1993.

J. Desrivì-eres and B. C. Smith, The implementation of procedurally reflective languages, Proceedings of the 1984 ACM Symposium on LISP and functional programming, pp.331-347, 1984.

D. D. Chamberlin, J. N. Gray, and I. L. Traiger, Views, authorization, and locking in a relational data base system, Proceedings of the May 19-22, 1975, national computer conference and exposition on, AFIPS '75, pp.425-430, 1975.
DOI : 10.1145/1499949.1500032

Y. Coady, G. Kiczales, M. J. Feeley, and G. Smolyn, Using aspectC to improve the modularity of path-specific customization in operating system code ACM ESEC, pp.88-98, 2001.

S. Daniel, D. Dantas, G. Walker, S. Washburn, and . Weirich, AspectML : A polymorphic aspect-oriented functional programming language, ACM Toplas, vol.30, issue.3, 2008.

C. Dutchyn, D. B. Tucker, and S. Krishnamurthi, 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

J. , N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce et al., Combinators for bidirectional tree transformations : A linguistic approach to the view-update problem, ACM Trans. Program. Lang. Syst, vol.29, issue.3, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00484971

A. Hannousse, Aspectualizing Component Models : Implementation and Interferences Analysis, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00657285

]. C. Hoa85 and . Hoare, Communicating Sequential Processes, 1985.

D. Jackson, Structuring Z specifications with views, ACM Transactions on Software Engineering and Methodology, vol.4, issue.4, pp.365-389, 1995.
DOI : 10.1145/226241.226249

P. Frederick and . Brooks-jr, The mythical man-month -essays on software engineering, 1995.

O. Dahl and K. Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966.
DOI : 10.1145/365813.365819

D. J. Farber, R. E. Griswold, and I. P. Polonsky, SNOBOL , A String Manipulation Language, Journal of the ACM, vol.11, issue.1, pp.21-30, 1964.
DOI : 10.1145/321203.321207

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, Lecture Notes in Computer Science, vol.2072, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales and J. D. Rivieres, The Art of the Metaobject Protocol, 1991.

L. Lamport, What Good is Temporal Logic ? IFIP Congress, pp.657-668, 1983.

J. Magee and J. Kramer, Concurrency -state models and Java programs, 1999.

H. Masuhara and K. Kawauchi, Dataflow Pointcut in Aspect-Oriented Programming, APLAS, pp.105-121, 2003.
DOI : 10.1007/978-3-540-40018-9_8

K. Ostermann, M. Mezini, and C. Bockisch, Expressive Pointcuts for Increased Modularity, ECOOP Proc. LNCS 3586, pp.214-240, 2005.
DOI : 10.1007/11531142_10

P. David-lorge, On the Criteria To Be Used in Decomposing Systems into Modules, CACM, vol.15, issue.12, pp.1053-1058, 1972.

A. David and . Schmidt, The structure of typed programming languages. Foundations of computing series, 1984.

[. Steimann, The paradoxical success of aspect-oriented programming, Proceedings of OOPSLA, 2006.

G. J. Sussman, L. Guy, and . Steele-jr, Scheme : An interpreter for extended lambda calculus, MEMO 349, MIT AI LAB, 1975.

P. L. Tarr, H. Ossher, W. H. Harrison, and S. M. Sutton-jr, Degrees of Separation : Multi-Dimensional Separation of Concerns, ICSE, pp.107-119, 1999.

P. Wadler, Views: a way for pattern matching to cohabit with data abstraction, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.307-313, 1987.
DOI : 10.1145/41625.41653

P. Wadler, The expression problem Discussion on the Java-Genericity mailing list, 1998.

N. Wirth, The Programming Language Pascal In Acta Inf, pp.35-63, 1971.

M. Zenger and M. Odersky, Independently extensible solutions to the expression problem In FOOL, 2005.