Ownership Domains: Separating Aliasing Policy from Mechanism, ECOOP, pp.1-25, 2004. ,
DOI : 10.1007/978-3-540-24851-4_1
Implementing software product lines using traits, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2096-2102, 2010. ,
DOI : 10.1145/1774088.1774530
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse, FTfJP, 2007. ,
On Traits and Types in a Java-like Setting, TCS (Track B), pp.367-382, 2008. ,
DOI : 10.1007/978-0-387-09680-3_25
SafeJava: A Unified Type System for Safe Programming, 2004. ,
Ownership types for object encapsulation, POPL, pp.213-223, 2003. ,
DOI : 10.1145/640128.604156
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1440
Object Ownership and Containment, 2001. ,
Ownership types for flexible alias protection, OOPSLA, pp.48-64, 1998. ,
Universe Types for Topology and Encapsulation, FMCO, pp.72-112, 2008. ,
DOI : 10.1007/978-3-540-30579-8_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.3664
Generic Universe Types, ECOOP, pp.28-53, 2007. ,
DOI : 10.1007/978-3-540-73589-2_3
Traits, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, pp.331-388, 2006. ,
DOI : 10.1145/1119479.1119483
URL : https://hal.archives-ouvertes.fr/inria-00403568
Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001. ,
DOI : 10.1145/503502.503505
Flattening versus direct semantics for Featherweight Jigsaw ,
FeatherTrait, ACM Transactions on Programming Languages and Systems, vol.30, issue.2, pp.1-32, 2008. ,
DOI : 10.1145/1330017.1330022
URL : https://hal.archives-ouvertes.fr/inria-00432540
On Ownership and Accessibility, ECOOP, pp.99-123, 2006. ,
DOI : 10.1007/11785477_6
A type system for controlling representation exposure in Java ,
Flattening Traits., The Journal of Object Technology, vol.5, issue.4, pp.129-148, 2006. ,
DOI : 10.5381/jot.2006.5.4.a4
Towards a fully abstract semantics for object-oriented program components, 2008. ,
Infering Ownership Types for Encapsulated Object-Oriented Program Components, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm, 2007. ,
DOI : 10.1007/978-3-540-71322-7_6
Modular specification of encapuslated object-oriented components, FMCO, LNCS 4111, pp.313-341, 2006. ,
A Representation-Independent Behavioral Semantics for Object-Oriented Components, FMOODS, pp.157-173, 2007. ,
DOI : 10.1145/165854.167976
Generic ownership for generic java, OOPSLA, pp.311-324, 2006. ,
Metaprogramming with Traits, ECOOP, pp.373-398, 2007. ,
DOI : 10.1007/978-3-540-73589-2_18
A Parameterized Type System for Simple Loose Ownership Domains., The Journal of Object Technology, vol.6, issue.5, pp.71-100, 2007. ,
DOI : 10.5381/jot.2007.6.5.a3
Chai: Traits for Java-Like Languages, ECOOP, pp.453-478, 2005. ,
DOI : 10.1007/11531142_20
Component Software ? Beyond Object-Oriented Programming, 2002. ,
Organizing programs without classes, Lisp and Symbolic Computation, pp.223-242, 1991. ,
DOI : 10.1007/BF01806107
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.5320