{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:00Z","timestamp":1725558600145},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642139529"},{"type":"electronic","value":"9783642139536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13953-6_7","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T11:28:13Z","timestamp":1277810893000},"page":"117-136","source":"Crossref","is-referenced-by-count":3,"title":["Read-Only Execution for Dynamic Languages"],"prefix":"10.1007","author":[{"given":"Jean-Baptiste","family":"Arnaud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcus","family":"Denker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Ducasse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Pollet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Bergel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Suen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"7_CR1","first-page":"40","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer (Special Issue on Inheritance & Classification)\u00a025(10), 40\u201352 (1992)","journal-title":"IEEE Computer (Special Issue on Inheritance & Classification)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Finifter, M., Mettler, A., Sastry, N., Wagner, D.: Verifiable functional purity in java. In: Proceedings of CCS\u201908, pp. 27\u201331 (2008)","DOI":"10.1145\/1455770.1455793"},{"key":"7_CR3","first-page":"41","volume-title":"Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007","author":"G. Donald","year":"2007","unstructured":"Donald, G., James, N.: Dynamic ownership in a dynamic language. In: Costanza, P., Hirschfeld, R. (eds.) Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, pp. 41\u201352. ACM, New York (2007)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: aliasing protection in object-oriented languages. In: Proceedings of the 6th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA\u201991), pp. 271\u2013285 (1991)","DOI":"10.1145\/117954.117975"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BFb0053373","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"P.S. Almeida","year":"1997","unstructured":"Almeida, P.S.: Balloon types: Controlling sharing of state in data types. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 32\u201359. Springer, Heidelberg (1997)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/286936.286947","volume-title":"Proceedings OOPSLA \u201998","author":"D.G. Clarke","year":"1998","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: Proceedings OOPSLA \u201998, pp. 48\u201364. ACM Press, New York (1998)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45337-7_2","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"J. Boyland","year":"2001","unstructured":"Boyland, J., Noble, J., Retert, W.: Capabilities for sharing, a generalisation of uniqueness and read-only. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, p. 2. Springer, Heidelberg (2001)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Noble, J., Clarke, D., Potter, J.: Object ownership for dynamic alias protection. In: Proceedings TOOLS \u201999, November 1999, pp. 176\u2013187 (1999)","DOI":"10.1109\/TOOLS.1999.809424"},{"key":"7_CR10","unstructured":"Hakonen, H., Lepp\u00e4nen, V., Raita, T., Salakoski, T., Teuhola, J.: Improving object integrity and preventing side effects via deeply immutable references. In: Fenno-Ugric Symposium on Software Technology, pp. 139\u2013150 (1999)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Miller, M.S., Shapiro, J.S.: Paradigm regained: Abstraction mechanisms for access control. In: Proceedings of the Eigth Asian Computing Science Conference, pp. 224\u2013242 (2003)","DOI":"10.1007\/978-3-540-40965-6_15"},{"key":"7_CR12","unstructured":"Fong, P.W.L., Zhang, C.: Capabilities as alias control: Secure cooperation in dynamically extensible systems. Technical report, Department of Computer Science, University of Regina (2004)"},{"key":"7_CR13","unstructured":"Miller, M.S.: Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. PhD thesis, Johns Hopkins University, Baltimore, Maryland, USA (May 2006)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Birka, A., Ernst, M.D.: A practical type system and language for reference immutability. In: Proceedings of OOPSLA\u20192004, pp. 35\u201349 (2004)","DOI":"10.1145\/1028976.1028980"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-540-24851-4_2","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2004","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Wuyts, R.: Composable encapsulation policies. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 26\u201350. Springer, Heidelberg (2004)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Sch\u00e4rli, N., Black, A.P., Ducasse, S.: Object-oriented encapsulation for dynamically typed languages. In: Proceedings of 18th International Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA\u201904), October 2004, pp. 130\u2013149 (2004)","DOI":"10.1145\/1035292.1028988"},{"issue":"2-3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.cl.2007.05.003","volume":"34","author":"A. Bergel","year":"2008","unstructured":"Bergel, A., Ducasse, S., Nierstrasz, O., Wuyts, R.: Stateful traits and their formalization. Journal of Computer Languages, Systems and Structures\u00a034(2-3), 83\u2013108 (2008)","journal-title":"Journal of Computer Languages, Systems and Structures"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1145\/800055.802051","volume-title":"LFP \u201984: Proceedings of the 1984 ACM Symposium on LISP and functional programming","author":"D.P. Friedman","year":"1984","unstructured":"Friedman, D.P., Wand, M.: Reification: Reflection without metaphysics. In: LFP \u201984: Proceedings of the 1984 ACM Symposium on LISP and functional programming, pp. 348\u2013355. ACM, New York (1984)"},{"key":"7_CR19","unstructured":"Lienhard, A.: Dynamic Object Flow Analysis. Phd thesis, University of Bern (2008)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/978-3-540-73589-2_24","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"M. Haupt","year":"2007","unstructured":"Haupt, M., Schippers, H.: A machine model for aspect-oriented programming. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 501\u2013524. Springer, Heidelberg (2007)"},{"key":"7_CR21","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Pascoe, G.A.: Encapsulators: A new software paradigm in Smalltalk-80. In: Proceedings OOPSLA \u201986, ACM SIGPLAN Notices, November 1986, vol.\u00a021, pp. 341\u2013346 (1986)","DOI":"10.1145\/28697.28731"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: A programmer\u2019s reduction semantics for classes and mixins. Technical Report TR 97-293, Rice University (1999)","DOI":"10.1007\/3-540-48737-9_7"},{"issue":"2-3","key":"7_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.cl.2005.10.002","volume":"32","author":"M. Denker","year":"2006","unstructured":"Denker, M., Ducasse, S., Tanter, \u00c9.: Runtime bytecode transformation for Smalltalk. Journal of Computer Languages, Systems and Structures\u00a032(2-3), 125\u2013139 (2006)","journal-title":"Journal of Computer Languages, Systems and Structures"},{"issue":"6","key":"7_CR25","first-page":"39","volume":"12","author":"S. Ducasse","year":"1999","unstructured":"Ducasse, S.: Evaluating message passing control techniques in Smalltalk. Journal of Object-Oriented Programming (JOOP)\u00a012(6), 39\u201344 (1999)","journal-title":"Journal of Object-Oriented Programming (JOOP)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. Journal of Object Technology\u00a07(3) (March 2008)","DOI":"10.5381\/jot.2008.7.3.a4"},{"key":"7_CR27","series-title":"LNBIP","first-page":"218","volume-title":"Proceedings of TOOLS EUROPE 2008","author":"M. Denker","year":"2008","unstructured":"Denker, M., Suen, M., Ducasse, S.: The meta in meta-object architectures. In: Proceedings of TOOLS EUROPE 2008. LNBIP, vol.\u00a011, pp. 218\u2013237. Springer, Heidelberg (2008)"},{"issue":"21","key":"7_CR28","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0096-0551(95)00008-9","volume":"3\/4","author":"R. Ierusalimschy","year":"1995","unstructured":"Ierusalimschy, R., de la Rocque Rodriguez, N.: Side-effect free functions in object-oriented languages. Computer Languages\u00a03\/4(21), 129\u2013146 (1995)","journal-title":"Computer Languages"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1146841.1146842","volume-title":"Proceedings of the Dynamic Languages Symposium (DLS) \u201905, co-organized with OOPSLA\u201905","author":"P. Costanza","year":"2005","unstructured":"Costanza, P., Hirschfeld, R.: Language constructs for context-oriented programming: An overview of ContextL. In: Proceedings of the Dynamic Languages Symposium (DLS) \u201905, co-organized with OOPSLA\u201905, October 2005, pp. 1\u201310. ACM, New York (2005)"},{"key":"7_CR30","unstructured":"Warth, A., Kay, A.: Worlds: Controlling the scope of side effects. Technical Report RN-2008-001, Viewpoints Research (2008)"},{"key":"7_CR31","volume-title":"Proceedings of the 4th ACM Dynamic Languages Symposium (DLS 2008)","author":"\u00c9. Tanter","year":"2008","unstructured":"Tanter, \u00c9.: Contextual values. In: Proceedings of the 4th ACM Dynamic Languages Symposium (DLS 2008), Paphos, Cyprus, July 2008. ACM Press, New York (to appear, 2008)"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/976270.976278","volume-title":"AOSD \u201904: Proceedings of the 3rd international conference on Aspect-oriented software development","author":"S. Hanenberg","year":"2004","unstructured":"Hanenberg, S., Hirschfeld, R., Unland, R.: Morphing aspects: incompletely woven aspects and continuous weaving. In: AOSD \u201904: Proceedings of the 3rd international conference on Aspect-oriented software development, pp. 46\u201355. ACM, New York (2004)"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1145\/1449764.1449806","volume-title":"OOPSLA \u201908: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications","author":"H. Schippers","year":"2008","unstructured":"Schippers, H., Janssens, D., Haupt, M., Hirschfeld, R.: Delegation-based semantics for modularizing crosscutting concerns. In: OOPSLA \u201908: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, pp. 525\u2013542. ACM, New York (2008)"},{"key":"7_CR34","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/268946.268961","volume-title":"Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"M. Flatt","year":"1998","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 171\u2013183. ACM Press, New York (1998)"},{"issue":"2","key":"7_CR35","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M. Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci.\u00a0103(2), 235\u2013271 (1992)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13953-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:56Z","timestamp":1606185956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13953-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139529","9783642139536"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13953-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}