P. Malcolm, O. Atkinson, and . Peter-buneman, Types and persistence in database programming languages, ACM Comput. Surv, vol.19, issue.2, pp.105-170, 1987.

A. Franz-achermann, M. Lumpe, J. Schneider, and O. Nierstrasz, Piccola ? a small composition language, Formal Methods for Distributed Processing ? A Survey of Object-Oriented Approaches, pp.403-426, 2001.

A. , F. Achermann, and O. Nierstrasz, Explicit Namespaces, Modular Programming Languages, pp.77-89, 2000.
DOI : 10.1007/10722581_8

F. Achermann and O. Nierstrasz, A calculus for reasoning about software composition, Theoretical Computer Science, vol.331, issue.2-3, pp.367-396, 2005.
DOI : 10.1016/j.tcs.2004.09.022

A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts, Classboxes: controlling visibility of class extensions, Computer Languages, Systems & Structures, vol.31, issue.3-4, 2005.
DOI : 10.1016/j.cl.2004.11.002

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

G. Bracha and D. Griswold, Strongtalk, Proceedings OOPSLA '93, pp.215-230, 1993.
DOI : 10.1145/167962.165893

B. , J. Banerjee, W. Kim, H. Kim, and H. F. Korth, Semantics and implementation of schema evolution in object-oriented databases, Proceedings ACM SIGMOD '87, pp.311-322, 1987.

G. Bracha, Pluggable type systems, OOPSLA Workshop on Revival of Dynamic Languages, p.4, 2004.

G. Bracha and D. Ungar, Mirrors: design principles for meta-level facilities of object-oriented programming languages, Proceedings of OOP- SLA '04, pp.331-344, 2004.

T. Bloom and S. B. Zdonik, Issues in the design of object-oriented database programming languages, Proceedings OOPSLA '87, pp.441-451, 1987.
DOI : 10.1145/38807.38848

C. and S. Chiba, A metaobject protocol for C++, Proceedings of OOPSLA '95 Working Conference on Reverse Engineering, pp.285-299, 1995.
DOI : 10.1145/217839.217868

A. Van-deursen, L. Moonen, A. Van-den-bergh, and G. Kok, Refactoring test code, Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes (XP2001), pp.92-95, 2001.

K. Dybvig, The Scheme Programming Language, p.4, 2003.

J. Edwards, Example centric programming, OOPSLA 04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp.124-124, 2004.

B. Foote and R. E. Johnson, Reflective facilities in Smalltalk-80, Proceedings OOPSLA '89, pp.327-336, 1989.
DOI : 10.1145/74878.74911

J. Scott and F. , Type Qualifiers: Lightweight Specifications to Improve Software Quality, p.2, 2002.

J. S. Foster, T. Terauchi, and A. Aiken, Flow-sensitive type qualifiers, Proceedings of PLDI '02 Conference on Programming Language Design and Implementation, pp.1-12, 2002.
DOI : 10.1145/512529.512531

URL : http://HTTP.CS.Berkeley.EDU/~jfoster/papers/pldi02-flow.ps.gz

A. Goldberg, Smalltalk 80: the Interactive Programming Environment

A. Wesley, . Reading, and . Mass, Encapsulating objects with confined types, OOPSLA '01: Proceedings of the 16th ACM SIG- PLAN conference on Object oriented programming, systems, languages, and applications, pp.241-255, 1984.

A. Goldberg and D. Robson, Smalltalk-80: The Language, 1989.

H. E. Yu-shing, G. Hu, A. Bernat, and . Wellings, A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems, Proceedings of 7th IEEE International Workshop on Object- Oriented Real-Time Dependable Systems (WORDS-2002), pp.64-71, 2002.

I. Ingalls, T. Kaehler, J. Maloney, S. Wallace, and A. Kay, Back to the future: The story of Squeak, A practical Smalltalk written in itself, Proceedings OOPSLA '97, pp.318-326, 1997.

P. Mark and . Jones, First-class polymorphism with type inference, POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.483-496, 1997.

G. Kiczales, J. Desrivì, and D. G. Bobrow, The Art of the Metaobject Protocol, 1991.

S. E. Keene, Object-Oriented Programming in Common-Lisp, p.4, 1989.

A. Kennedy and D. Syme, Transposing f to c#: Expressivity of polymorphism in an object-oriented language. Concurrency and Computation: Practice and Experience, p.85, 2004.

M. Manny, L. Lehman, and . Belady, Program Evolution ? Processes of Software Change, 1985.

D. B. Macqueen, Reflections on standard ML, Functional Programming , Concurrency, Simulation and Automated Reasoning, pp.32-46, 1993.
DOI : 10.1007/3-540-56883-2_2

E. Miranda, D. Leibs, and R. Wuyts, Parcels: A fast and feature-rich binary deployment technology, Computer Languages, Systems & Structures, vol.31, issue.3-4, 2005.
DOI : 10.1016/j.cl.2005.02.001

M. , D. Maier, A. Otis, and A. Purdy, Supporting Compositional Styles for Software Evolution Separating concerns with firstclass namespaces Siobhán Clarke, and sit Mehmet Ak editors, Aspect-Oriented Software Development Software evolution as the key to productivity Class modification in the gemstone object-oriented DBMS Transparent proxies for java futures, Proceedings International Symposium on Principles of Software Evolution IEEE. NA05. Oscar Nierstrasz and Franz Achermann Radical Innovations of Software and Systems Engineering in the Future Proceedings OOPSLA '87 OOPSLA '04: Proceedings of the 19th annual ACM SIG- PLAN Conference on Object-oriented programming, systems, languages, and applications, pp.58-65, 1985.

C. V. Russo, First-class structures for standard ml SB02. Yannis Smaragdakis and Don Batory. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs, Nordic J. of Computing ACM TOSEM, vol.7, issue.112, pp.348-374215, 2000.

S. S. , A. Spoon, and O. Shivers, Demand-driven type inference with subgoal pruning: Trading precision for scalability Str. The strongtalk type system for smalltalk, Proceedings of ECOOP'04, pp.51-74, 2004.

S. , F. Smith, D. Walker, and J. G. Morrisett, Alias types, ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems, pp.366-381, 2000.

W. Taha, A Gentle Introduction to Multi-stage Programming, Domain- Specific Program Generation, pp.30-50, 2003.
DOI : 10.1007/978-3-540-25935-0_3

A. Taivalsaari, Classes versus prototypes: Some philosophical and historical observations Reflex ? towards an open reflective extension of java, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.44-50, 1997.

D. Tsichritzis and O. Nierstrasz, Fitting Round Objects Into Square Databases, Proceedings ECOOP '88, pp.283-299, 1988.
DOI : 10.1007/3-540-45910-3_17

T. , E. Tanter, J. Noyé, D. Caromel, and P. Cointe, Partial behavioral reflection: Spatial and temporal selection of reification, Proceedings of OOPSLA '03, pp.27-46, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00457204

D. Ungar and R. B. Smith, Self: The power of simplicity, Proceedings OOPSLA '87, pp.227-242, 1987.
DOI : 10.1145/38807.38828

W. Wuyts, S. Ducasse, and O. Nierstrasz, A data-centric approach to composing embedded, real-time software components, Journal of Systems and Software ? Special Issue on Automated Component-Based Software Engineering, pp.25-34, 2005.
DOI : 10.1016/j.jss.2003.05.004

W. Wuyts, A Logic Meta-Programming Approach to Support the Co- Evolution of Object-Oriented Design and Implementation, p.4, 2001.

T. Zhao, J. Noble, and J. Vitek, Scoped Types for Real-Time Java, 25th IEEE International Real-Time Systems Symposium, pp.241-251, 2004.
DOI : 10.1109/REAL.2004.51

T. Zhao, J. Palsber, and J. Vite, Lightweight confinement for featherweight java, OOPSLA '03: Proceedings of the 18th annual ACM SIG- PLAN conference on Object-oriented programing, systems, languages, and applications, pp.135-148, 2003.