The power of propagation

Considerable effort in constraint programming has focused on the development of efficient propagators for individual constraints. In this paper, we consider the combined power of such propagators w...

[1]  Linda G. DeMichiel,et al.  The Common Lisp Object System: An Overview , 1987, ECOOP.

[2]  Bent Bruun Kristensen.  Object-Oriented Modelling with Roles , 1995, OOIS.

[3]  Elena Giachino,et al.  Featherweight wrap Java , 2007, SAC '07.

[4]  Thomas Leich,et al.  Aspectual Feature Modules , 2008, IEEE Transactions on Software Engineering.

[5]  Tom Van Cutsem,et al.  On the design of the ECMAScript Reflection API , 2012 .

[6]  Henry Lieberman,et al.  Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems , 1986, OOPSLA.

[7]  Klaus Ostermann,et al.  Dynamically Composable Collaborations with Delegation Layers , 2002, ECOOP.

[8]  Stéphane Ducasse,et al.  Evaluating Message Passing Control Techniques in Smalltalk , 1999 .

[9]  Günter Kniesel.  Type-Safe Delegation for Run-Time Component Adaptation , 1999, ECOOP.

[10]  John Viega,et al.  Automated Delegation is a Viable Alternative to Multiple Inheritance in Class Based Languages , 1998 .

[11]  Daniel G. Bobrow,et al.  Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.

[12]  Gilad Bracha,et al.  Mirrors: design principles for meta-level facilities of object-oriented programming languages , 2004, OOPSLA.

[13]  Oscar Nierstrasz,et al.  Stateful traits and their formalization , 2008, Comput. Lang. Syst. Struct..

[14]  Jean-Baptiste Arnaud,et al.  Towards First Class References as a Security Infrastructure in Dynamically-Typed Languages. (Vers des références de première classe comme infrastructure de sécurité dans les langages dynamiquement typés) , 2013 .

[15]  Tom Van Cutsem,et al.  Proxies: design principles for robust object-oriented intercession APIs , 2010, DLS '10.

[16]  Shigeru Chiba,et al.  Avoiding Confusion in Metacircularity: The Meta-Helix , 1996, ISOTAS.

[17]  Matthias Felleisen,et al.  Classes and mixins , 1998, POPL '98.

[18]  Thomas H. Austin,et al.  Virtual values for language extension , 2011, OOPSLA '11.

[19]  Mira Mezini,et al.  An Overview of CaesarJ , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[20]  Harold Ossher,et al.  Subject-oriented programming: a critique of pure objects , 1993, OOPSLA '93.

[21]  Éric Tanter.  Execution levels for aspect-oriented programming , 2010, AOSD.

[22]  Tom Van Cutsem,et al.  Trustworthy Proxies - Virtualizing Objects with Invariants , 2013, ECOOP.

[23]  Sam Tobin-Hochstadt,et al.  Chaperones and impersonators: run-time support for reasonable interposition , 2012, OOPSLA '12.

[24]  Randall B. Smith,et al.  A Simple and Unifying Approach to Subjective Objects , 1996, Theory Pract. Object Syst..

[25]  Éric Tanter,et al.  Beyond static and dynamic scope , 2009, DLS '09.

[26]  Yoshihiko Futamura,et al.  Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler , 1999, High. Order Symb. Comput..

[27]  Patrick Th. Eugster,et al.  Uniform proxies for Java , 2006, OOPSLA '06.

[28]  Hidehiko Masuhara,et al.  A Compilation and Optimization Model for Aspect-Oriented Programs , 2003, CC.

[29]  Oscar Nierstrasz,et al.  Context-oriented programming: beyond layers , 2007, ICDL '07.

[30]  Éric Tanter.  Expressive scoping of dynamically-deployed aspects , 2008, AOSD.

[31]  Alexandre Bergel,et al.  Read-Only Execution for Dynamic Languages , 2010, TOOLS.

[32]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[33]  Stéphane Ducasse,et al.  Efficient proxies in Smalltalk , 2011, IWST '11.

[34]  Oscar Nierstrasz,et al.  Traits: Composable Units of Behaviour , 2002, ECOOP.

[35]  Stéphane Ducasse,et al.  The Meta in Meta-object Architectures , 2008, TOOLS.

[36]  Stefan Langerman,et al.  Executing code in the past: efficient in-memory object graph versioning , 2009, OOPSLA 2009.

[37]  Oscar Nierstrasz,et al.  Context-oriented Programming , 2008, J. Object Technol..

[38]  Denis Caromel,et al.  Partial behavioral reflection: spatial and temporal selection of reification , 2003, OOPSLA 2003.