{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:37:30Z","timestamp":1736573850103,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540357261"},{"type":"electronic","value":"9783540357278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11785477_3","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T09:04:52Z","timestamp":1159175092000},"page":"28-49","source":"Crossref","is-referenced-by-count":25,"title":["Efficient Object Querying for Java"],"prefix":"10.1007","author":[{"given":"Darren","family":"Willis","sequence":"first","affiliation":[]},{"given":"David J.","family":"Pearce","sequence":"additional","affiliation":[]},{"given":"James","family":"Noble","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"The Standard Performance Corporation. SPEC JVM98 benchmarks (1998), http:\/\/www.spec.org\/osg\/jvm98"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Baker, H.G.: Iterators: Signs of weakness in object-oriented languages. ACM OOPS Messenger\u00a04(3) (July 1993)","DOI":"10.1145\/165507.165514"},{"issue":"6","key":"3_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.5381\/jot.2004.3.6.a2","volume":"3","author":"M. Barnett","year":"2004","unstructured":"Barnett, M., DeLine, R., Fahndrich, M., Rustan, K., Leino, M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology\u00a03(6), 27\u201356 (2004)","journal-title":"Journal of Object Technology"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11531142_13","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, pp. 287\u2013311. Springer, Heidelberg (2005)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11531142_12","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"G. Bierman","year":"2005","unstructured":"Bierman, G., 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":"3_CR6","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"3_CR7","first-page":"577","volume-title":"Proceedings of the International Conference on Very Large Data Bases (VLDB)","author":"S. Ceri","year":"1991","unstructured":"Ceri, S., Widom, J.: Deriving production rules for incremental view maintenance. In: Proceedings of the International Conference on Very Large Data Bases (VLDB), pp. 577\u2013589. Morgan Kaufmann, San Francisco (1991)"},{"key":"3_CR8","first-page":"285","volume-title":"Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"S. Chiba","year":"1995","unstructured":"Chiba, S.: A metaobject protocol for C++. In: Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pp. 285\u2013299. ACM Press, New York (1995)"},{"key":"3_CR9","unstructured":"Cook, W.R., Ibrahim, A.H.: Programming languages & databases: What\u2019s the problem? Technical report, Department of Computer Sciences, The University of Texas at Austin (2005)"},{"key":"3_CR10","first-page":"97","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE)","author":"W.R. Cook","year":"2005","unstructured":"Cook, W.R., Rai, S.: Safe query objects: Statically typed objects as remotely executable queries. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 97\u2013106. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"3_CR11","volume-title":"Objects, Components, and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/248448.248456","volume":"40","author":"M. Eisenstadt","year":"1997","unstructured":"Eisenstadt, M.: My hairiest bug war stories. Communications of the ACM\u00a040(4), 30\u201337 (1997)","journal-title":"Communications of the ACM"},{"key":"3_CR13","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"key":"3_CR14","first-page":"385","volume-title":"Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"S. Goldsmith","year":"2005","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pp. 385\u2013402. ACM Press, New York (2005)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/182591.182594","volume-title":"Proceedings of the thirteenth ACM symposium on Principles of Database Systems (PODS)","author":"P.J. Haas","year":"1994","unstructured":"Haas, P.J., Naughton, J.F., Swami, A.N.: On the relative cost of sampling for join selectivity estimation. In: Proceedings of the thirteenth ACM symposium on Principles of Database Systems (PODS), pp. 14\u201324. ACM Press, New York (1994)"},{"key":"3_CR16","first-page":"658","volume-title":"Proceedings of the ACM Symposium on Applied Computing (SAC)","author":"C. Hobatr","year":"2001","unstructured":"Hobatr, C., Malloy, B.A.: The design of an OCL query-based debugger for C++. In: Proceedings of the ACM Symposium on Applied Computing (SAC), pp. 658\u2013662. ACM Press, New York (2001)"},{"key":"3_CR17","first-page":"839","volume-title":"Proceedings of the IEEE International Conference on Software Engineering (ICSE)","author":"C. Hobatr","year":"2001","unstructured":"Hobatr, C., Malloy, B.A.: Using OCL-queries for debugging C++. In: Proceedings of the IEEE International Conference on Software Engineering (ICSE), pp. 839\u2013840. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"3","key":"3_CR18","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1145\/1270.1498","volume":"9","author":"T. Ibaraki","year":"1984","unstructured":"Ibaraki, T., Kameda, T.: On the optimal nesting order for computing n-relational joins. ACM Transactions on Database Systems\u00a09(3), 482\u2013502 (1984)","journal-title":"ACM Transactions on Database Systems"},{"key":"3_CR19","first-page":"128","volume-title":"Proceedings of the ACM Conference on Very Large Data Bases (VLDB)","author":"R. Krishnamurthy","year":"1986","unstructured":"Krishnamurthy, R., Boral, H., Zaniolo, C.: Optimization of nonrecursive queries. In: Proceedings of the ACM Conference on Very Large Data Bases (VLDB), pp. 128\u2013137. Morgan Kaufmann Publishers Inc., San Francisco (1986)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Lencevicius, R.: Query-Based Debugging. PhD thesis, University of California, Santa Barbara, TR-1999-27 (1999)","DOI":"10.1007\/3-540-48743-3_7"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Lencevicius, R.: On-the-fly query-based debugging with examples. In: Proceedings of the Workshop on Automated and Algorithmic Debugging (AADEBUG) (2000)","DOI":"10.1007\/978-1-4419-8774-7_3"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/263698.263752","volume-title":"Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"R. Lencevicius","year":"1997","unstructured":"Lencevicius, R., H\u00f6lzle, U., Singh, A.K.: Query-based debugging of object-oriented programs. In: Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pp. 304\u2013317. ACM Press, New York (1997)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-48743-3_7","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"R. Lencevicius","year":"1999","unstructured":"Lencevicius, R., H\u00f6lzle, U., Singh, A.K.: Dynamic Query-Based Debugging. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 135\u2013160. Springer, Heidelberg (1999)"},{"key":"3_CR24","first-page":"473","volume-title":"Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"Y.A. Liu","year":"2005","unstructured":"Liu, Y.A., Stoller, S.D., Gorbovitski, M., Rothamel, T., Liu, Y.E.: Incrementalization across object abstraction. In: Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pp. 473\u2013486. ACM Press, New York (2005)"},{"key":"3_CR25","first-page":"365","volume-title":"Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: Proceedings of the ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pp. 365\u2013383. ACM Press, New York (2005)"},{"issue":"1","key":"3_CR26","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/128762.128764","volume":"24","author":"P. Mishra","year":"1992","unstructured":"Mishra, P., Eich, M.H.: Join processing in relational databases. ACM Computing Surveys\u00a024(1), 63\u2013113 (1992)","journal-title":"ACM Computing Surveys"},{"key":"3_CR27","first-page":"73","volume-title":"Pattern Languages of Program Design 4","author":"J. Noble","year":"2000","unstructured":"Noble, J.: Basic relationship patterns. In: Harrison, N., Foote, B., Rohnert, H. (eds.) Pattern Languages of Program Design 4, ch.\u00a06, pp. 73\u201394. Addison-Wesley, Reading (2000)"},{"key":"3_CR28","volume-title":"Proceedings of the conference on Technology of Object-Oriented Languages and Systems (TOOLS)","author":"J. Noble","year":"1995","unstructured":"Noble, J., Grundy, J.: Explicit relationships in object-oriented development. In: Proceedings of the conference on Technology of Object-Oriented Languages and Systems (TOOLS), Prentice-Hall, Englewood Cliffs (1995)"},{"key":"3_CR29","first-page":"75","volume-title":"Proceedings of the ACM conference on Aspect-Oriented Software Development (AOSD)","author":"D.J. Pearce","year":"2005","unstructured":"Pearce, D.J., Noble, J.: Relationship aspects. In: Proceedings of the ACM conference on Aspect-Oriented Software Development (AOSD), pp. 75\u201386. ACM Press, New York (2005)"},{"key":"3_CR30","unstructured":"Pierik, C., Clarke, D., de Boer, F.: Creational invariants. In: Proceedings of the Workshop on Formal Techniques for Java-like Programs (FTfJP), pp. 78\u201385 (2004)"},{"key":"3_CR31","volume-title":"Using UML: Software Engineering with Objects and Components","author":"R. Pooley","year":"1999","unstructured":"Pooley, R., Stevens, P.: Using UML: Software Engineering with Objects and Components. Addison-Wesley, Reading (1999)"},{"issue":"7","key":"3_CR32","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1002\/cpe.799","volume":"16","author":"A. Potanin","year":"2004","unstructured":"Potanin, A., Noble, J., Biddle, R.: Checking ownership and confinement. Concurrency and Computation: Practice and Experience\u00a016(7), 671\u2013687 (2004)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1109\/ASWEC.2004.1290478","volume-title":"Proceedings of the IEEE Australian Software Engineering Conference (ASWEC)","author":"A. Potanin","year":"2004","unstructured":"Potanin, A., Noble, J., Biddle, R.: Snapshot query-based debugging. In: Proceedings of the IEEE Australian Software Engineering Conference (ASWEC), pp. 251\u2013261. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-540-24851-4_22","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"K. Rustan","year":"2004","unstructured":"Rustan, K., Leino, M., M\u00fcller, P.: Object Invariants in Dynamic Contexts. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 491\u2013515. Springer, Heidelberg (2004)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11526841_4","volume-title":"FM 2005: Formal Methods","author":"K. Rustan","year":"2005","unstructured":"Rustan, K., Leino, M., M\u00fcller, P.: Modular Verification of Static Class Invariants. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 26\u201342. Springer, Heidelberg (2005)"},{"issue":"3","key":"3_CR36","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s007780050040","volume":"6","author":"M. Steinbrunn","year":"1997","unstructured":"Steinbrunn, M., Moerkotte, G., Kemper, A.: Heuristic and randomized optimization for the join ordering problem. The VLDB Journal\u00a06(3), 191\u2013208 (1997)","journal-title":"The VLDB Journal"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1109\/ICDE.1993.344047","volume-title":"Proceedings of the International Conference on Data Engineering","author":"A.N. Swami","year":"1993","unstructured":"Swami, A.N., Iyer, B.R.: A polynomial time algorithm for optimizing join queries. In: Proceedings of the International Conference on Data Engineering, pp. 345\u2013354. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"3_CR38","volume-title":"The Object Constraint Language: precise modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: precise modeling with UML. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2006 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11785477_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T23:57:29Z","timestamp":1736553449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11785477_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540357261","9783540357278"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/11785477_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}