Read-Only Execution for Dynamic Languages, Proceedings of the 48th International Conference Objects, Models, Components, Patterns (TOOLS'10), 2010. ,
DOI : 10.1007/978-3-642-13953-6_7
URL : https://hal.archives-ouvertes.fr/inria-00498377
Split objects: a disciplined use of delegation within objects, Proceedings of the 11th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'96), pp.122-137, 1996. ,
Stateful traits and their formalization, Computer Languages, Systems & Structures, vol.34, issue.2-3, pp.83-108, 2008. ,
DOI : 10.1016/j.cl.2007.05.003
A practical type system and language for reference immutability, Proceedings of the 19th International Conference Object-Oriented Programming Systems and Applica- tions(OOPSLA'04), pp.35-49, 2004. ,
What is computer security?, IEEE Security & Privacy Magazine, vol.1, issue.1, 2003. ,
DOI : 10.1109/MSECP.2003.1176998
Capabilities for sharing, a generalisation of uniqueness and read-only, Proceedings of the 15th European Conference on Object-Oriented Program- ming(ECOOP'01), number 2072 in LNCS, pp.2-27, 2001. ,
Mirrors: design principles for meta-level facilities of object-oriented programming languages, Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications ACM SIGPLAN Notices, pp.331-344, 2004. ,
Existential Quantification for Variant Ownership, 18th European Symposium on Programming(ESOP'09), number 5502 in Lecture Notes in Computer Science, 2009. ,
DOI : 10.1007/978-3-642-00590-9_10
The point of view notion for multiple inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications(OOPSLA, pp.312-321, 1926. ,
Language constructs for context-oriented programming, Proceedings of the 2005 conference on Dynamic languages symposium , DLS '05, pp.1-10, 2005. ,
DOI : 10.1145/1146841.1146842
Roles for composite objects in object-oriented analysis and design, Proceedings of the 16th International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'93), pp.376-393, 1993. ,
DOI : 10.1145/167962.165929
Ownership types for flexible alias protection, Proceedings of the 21th International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'98), pp.48-64, 1998. ,
Evaluating message passing control techniques in Smalltalk, Journal of Object-Oriented Programming, vol.12, issue.6, pp.39-44, 1999. ,
Uniform proxies for java, Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA'06), pp.139-152, 2006. ,
Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.171-183, 1998. ,
DOI : 10.1145/268946.268961
Verifiable functional purity in java, Proceedings of the 15th ACM conference on Computer and communications security, CCS '08, pp.27-31, 2008. ,
DOI : 10.1145/1455770.1455793
Capabilities as alias control: Secure cooperation in dynamically extensible systems, 2004. ,
Dynamic ownership in a dynamic language, Proceedings of the 2007 symposium on Dynamic languages , DLS '07, pp.41-52, 2007. ,
DOI : 10.1145/1297081.1297090
Squeak ? Open Personal Computing and Multimedia, 2001. ,
Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, 2008. ,
DOI : 10.5381/jot.2008.7.3.a4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.3310
A precise model for contextual roles: The programming language objectteams/java, Appl. Ontol, vol.2, pp.181-207, 2007. ,
Improving object integrity and preventing side effects via deeply immutable references, Proceedings of the ixth Fenno-Ugric Symposium on Software Technology(FUSST'99), pp.139-150, 1999. ,
Subject-oriented programming, Proceedings OOPSLA '93, pp.411-428, 1993. ,
DOI : 10.1145/167962.165932
Islands, Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'91), pp.271-285, 1991. ,
DOI : 10.1145/118014.117975
Capability-Based Computer Systems. Butterworth-Heinemann, 1984. ,
Using prototypical objects to implement shared behavior in object-oriented systems, Proceedings OOPSLA '86, pp.214-223, 1986. ,
DOI : 10.1145/960112.28718
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, 2006. ,
Paradigm Regained: Abstraction Mechanisms for Access Control, Proceedings of the Eigth Asian Computing Science Conference(IAFOR'03), pp.224-242, 2003. ,
DOI : 10.1007/978-3-540-40965-6_15
Joe-e: A security-oriented subset of java, Proceedings of Annual Network and Distributed System Security Symposium (ISOC NSSS), pp.375-388, 2010. ,
Capability myths demolished, 2003. ,
Object ownership for dynamic alias protection, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32, 1999. ,
DOI : 10.1109/TOOLS.1999.809424
Flexible alias protection, Proceedings of the 12th European Conference on Object-Oriented Programming, pp.158-185, 1998. ,
DOI : 10.1007/BFb0054091
Encapsulators: a new software paradigm in Smalltalk-80, Proceedings of the ninth International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOP- SLA'86), pp.341-346, 1986. ,
DOI : 10.1145/960112.28731
Object-oriented encapsulation for dynamically 27 ,
A simple and unifying approach to subjective objects, Theory and Practice of Object Systems, vol.2, issue.3, pp.161-178, 1996. ,
DOI : 10.1002/(SICI)1096-9942(1996)2:3<161::AID-TAPO3>3.0.CO;2-Z
Contextual values, Proceedings of the 2008 symposium on Dynamic languages, DLS '08, pp.1-10, 2008. ,
DOI : 10.1145/1408681.1408684
Proxies: design principles for robust object-oriented intercession apis, Proceedings of the 2010 symposium on Dynamic languages(DLS '10), pp.59-72, 2010. ,
Worlds: Controlling the Scope of Side Effects, Proceedings of the 25th European Conference on Object-Oriented Programming, 2011. ,
DOI : 10.1145/1408681.1408684