{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T12:50:33Z","timestamp":1790945433682,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540735885","type":"print"},{"value":"9783540735892","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73589-2_4","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T17:48:05Z","timestamp":1186940885000},"page":"54-78","source":"Crossref","is-referenced-by-count":10,"title":["Declarative Object Identity Using Relation Types"],"prefix":"10.1007","author":[{"given":"Mandana","family":"Vaziri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Fink","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julian","family":"Dolby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/api\/java\/lang\/Object.html"},{"key":"4_CR2","unstructured":"T. J. Watson Libraries for Analysis(December 2006), http:\/\/wala.sourceforge.net"},{"key":"4_CR3","unstructured":"Allen, E., Chase, D., Hallett, J., Luchangco, V., Maessen, J.-W., Ryu, S., Steele, G., Tobin-Hochstadt, S.:The Fortress language specification, http:\/\/research.sun.com\/projects\/plrg\/fortress.pdf"},{"key":"4_CR4","unstructured":"Apache Jakarta Project. BCEL (December 2006), http:\/\/jakarta.apache.org\/bcel\/"},{"issue":"3\u20135","key":"4_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1002\/cpe.653","volume":"15","author":"D.F. Bacon","year":"2003","unstructured":"Bacon, D.F.: Kava: A Java dialect with a uniform object model for lightweight classes. Concurrency\u2014Practice and Experience\u00a015(3\u20135), 185\u2013206 (2003)","journal-title":"Concurrency\u2014Practice and Experience"},{"issue":"4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/165593.165596","volume":"4","author":"H.G. Baker","year":"1993","unstructured":"Baker, H.G.: Equal rights for functional objects or, the more things change, the more they are the same. OOPS Messenger\u00a04(4), 2\u201327 (1993)","journal-title":"OOPS Messenger"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11601524","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"G. Bierman","year":"2005","unstructured":"Bierman, G., Meijer, E., Schulte, W.: The essence of data access in C\u03c9. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, Springer, Heidelberg (2005)"},{"key":"4_CR8","unstructured":"Bierman, G., Parkinson, M.J., Pitts, A.M.MJ.: An imperative core calculus for Java and Java effects. Tech. Rep. 563, Computer Laboratory,University of Cambridge (April 2003)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/11531142_12","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"G.M. Bierman","year":"2005","unstructured":"Bierman, G.M., Wren, A.: First-class relationships in an object-oriented language. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 262\u2013286. Springer, Heidelberg (2005)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1028976.1028980","volume-title":"Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA\u201904)","author":"A. Birka","year":"2004","unstructured":"Birka, A., Ernst, M.D.: A practical type system and language for reference immutability. In: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA\u201904), pp. 35\u201349. ACM Press, New York (2004)"},{"key":"4_CR11","volume-title":"Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA\u201906)","author":"S.M. Blackburn","year":"2006","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA\u201906), Portland, OR, USA, oct 2006, ACM Press, New York (2006)"},{"key":"4_CR12","volume-title":"Effective Java, Programming Language Guide","author":"J. Bloch","year":"2001","unstructured":"Bloch, J.: Effective Java, Programming Language Guide. Addison-Wesley, Reading (2001)"},{"key":"4_CR13","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, pp. 2\u201327. Springer, Heidelberg (2001)"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Commun. ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Commun. ACM"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1145\/1094811.1094852","volume-title":"Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (OOPSLA\u201905)","author":"P. Charles","year":"2005","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (OOPSLA\u201905), San Diego, CA, USA, pp. 519\u2013538. ACM Press, New York (2005)"},{"issue":"5","key":"4_CR16","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/358438.349344","volume":"35","author":"J. Dolby","year":"2000","unstructured":"Dolby, J., Chien, A.: An automatic object inlining optimization and its evaluation. ACM SIGPLAN Notices\u00a035(5), 345\u2013357 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR17","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":"4_CR18","unstructured":"Goto, E.: Monocopy and Associative Algorithms in an Extended Lisp. Tech. Rep. 74-03, Information Science Laboratory, University of Tokyo (1974)"},{"issue":"3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C, Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"4_CR20","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1002\/spe.372","volume":"31","author":"G. Kniesel","year":"2001","unstructured":"Kniesel, G., Theisen, D.: Jac \u2013 access right based encapsulation for Java. Software: Practice and Experience\u00a031(6), 555\u2013576 (2001)","journal-title":"Software: Practice and Experience"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Modular Programming Languages","author":"A. Krall","year":"1997","unstructured":"Krall, A., Vitek, J.: On extending Java. In: M\u00f6ssenb\u00f6ck, H. (ed.) JMLC 1997. LNCS, vol.\u00a01204, Springer, Heidelberg (1997)"},{"key":"4_CR22","unstructured":"Meijer, E., Shulte, W.: Unifying tables, objects and documents. In: DB-COOL (2003)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Michie, D.: Memo functions and machine learning. Nature, 218, 19\u201322","DOI":"10.1038\/218019a0"},{"key":"4_CR24","unstructured":"Microsoft. C# Language Specification. Microsoft Press (2001)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Pechtchanski, I., Sarkar, V.: Immutability specification and its applications. In: Java Grande, pp. 202\u2013211 (2002)","DOI":"10.1145\/583810.583833"},{"key":"4_CR26","unstructured":"Petter, M.: Personal communication (October 2006)"},{"key":"4_CR27","volume-title":"Functional Programming Languages and Computer Architecture","author":"S. Peyton-Jones","year":"1991","unstructured":"Peyton-Jones, S., Launchbury, J.: Unboxed values as first class citizens. In: Functional Programming Languages and Computer Architecture. 5th ACM Conference, Berlin, Germany, ACM Press, New York (1991)"},{"key":"4_CR28","unstructured":"Porat, S., Biberstein, M., Koved, L., Mendelson, B.: Automatic detection of immutable fields in Java. In: CASCON (2000)"},{"key":"4_CR29","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1094811.1094828","volume-title":"Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (OOPSLA\u201905)","author":"M.S. Tschantz","year":"2005","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: adding reference immutability to Java. In: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (OOPSLA\u201905), pp. 211\u2013230. ACM Press, New York (2005)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"van Reeuwijk, C., Sips, H J.: Adding tuples to Java: a study in lightweight data structures. In: JGI\u201902 (2002)","DOI":"10.1145\/583810.583831"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/1111037.1111067","volume-title":"POPL \u201906: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"M. Vaziri","year":"2006","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL \u201906: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 334\u2013345. ACM Press, New York, NY, USA (2006)"},{"key":"4_CR32","unstructured":"Vaziri, M., Tip, F., Fink, S., Dolby, J.: Declarative object identity using relation types. Tech. rep. IBM Research (Forthcoming 2007)"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Yelick, K., Semenzato, L., Pike, G., Miyamoto, C., Liblit, B.: abd Paul\u00a0Hilfinger, A.\u00a0K., Graham, S., Gay, D., Colella, P., and Aiken, A. Titanium: A high-performance Java dialect. Concurrency\u2014Practice and Experience, Java Special Issue (1998)","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<825::AID-CPE383>3.0.CO;2-H"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2007 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73589-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T05:52:47Z","timestamp":1619502767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73589-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735885","9783540735892"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73589-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}