{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:10Z","timestamp":1725562570707},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221593"},{"type":"electronic","value":"9783540248514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_16","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T16:36:03Z","timestamp":1281285363000},"page":"342-364","source":"Crossref","is-referenced-by-count":2,"title":["Increasing Concurrency in Databases Using Program Analysis"],"prefix":"10.1007","author":[{"given":"Roman","family":"Vitenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristian","family":"Kvilekval","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ambuj K.","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Ozone oodb. Technical report (2001), \n                    \n                      http:\/\/www.ozone-db.org"},{"key":"16_CR2","volume-title":"OOPSLA Object-Oriented Programming Systems, Languages, and Applications","author":"D. Bacon","year":"1996","unstructured":"Bacon, D., Sweeney, P.: Fast static analysis of C++ virtual function calls. In: OOPSLA Object-Oriented Programming Systems, Languages, and Applications, San Jose, California, October 1996, ACM, New York (1996)"},{"key":"16_CR3","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P. Bernstein","year":"1987","unstructured":"Bernstein, P., Hadzilacos, V., Goodman, H.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/320384.320388","volume-title":"OOPSLA","author":"J. Bogda","year":"1999","unstructured":"Bogda, J., H\u00f6lzle, U.: Removing unnecessary synchronization in Java. In: OOPSLA, Denver, CO, November 1999, pp. 35\u2013465. ACM, New York (1999)"},{"key":"16_CR5","volume-title":"International Conference on Parallel Architectures and Compilation Techniques","author":"Cahoon","year":"2001","unstructured":"Cahoon, McKinley: Data flow analysis for software prefetching linked data structures in java. In: International Conference on Parallel Architectures and Compilation Techniques, Barcelona, Spain, September 2001, ACM, New York (2001)"},{"issue":"2","key":"16_CR6","first-page":"12","volume":"22","author":"M.J. Carey","year":"1993","unstructured":"Carey, M.J., DeWitt, D.J., Naughton, J.F.: The OO7 benchmark. SIGMOD Record (ACM Special Interest Group on Management of Data)\u00a022(2), 12\u201321 (1993)","journal-title":"SIGMOD Record (ACM Special Interest Group on Management of Data)"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/128765.128766","volume":"17","author":"R.G.G. Cattell","year":"1992","unstructured":"Cattell, R.G.G., Skeen, J.: Object operations benchmark. TODS\u00a017(1), 1\u201331 (1992)","journal-title":"TODS"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1145\/305138.305196","volume-title":"International Conference on Supercomputing","author":"F. Corbera","year":"1999","unstructured":"Corbera, F., Asenjo, R., Zapata, E.L.: Newshape analysis techniques for automatic parallelization of C codes. In: International Conference on Supercomputing, Rhodes, Greece, June 1999, pp. 220\u2013227. ACM, New York (1999)"},{"key":"16_CR9","first-page":"1","volume-title":"Symposium on Principles of Programming Languages POPL","author":"R. Ghiya","year":"1996","unstructured":"Ghiya, R., Hendren, L.J.: Is it a tree, a dag, or a cyclic graph?A shape analysis for heap-directed pointers in C. In: Symposium on Principles of Programming Languages POPL, St. Petersburg, Florida, January 1996, pp. 1\u201315. ACM, New York (1996)"},{"key":"16_CR10","unstructured":"Knafla, N.: Prefetching Techniques for Client\/Server, Object-Oriented Database Systems. PhD thesis, University of Edinburgh (1999)"},{"key":"16_CR11","volume-title":"LCR 2002","author":"K. Kvilekval","year":"2002","unstructured":"Kvilekval, K., Singh, A.: Prefetching for mobile computers using shape graphs. In: LCR 2002, Washington DC, March 2002, ACM Press, New York (2002)"},{"issue":"7","key":"16_CR12","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks and the Ordering of Event in a DistributedSystem. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"16_CR13","unstructured":"Sun Microsystems. Java Data Objects (2003)"},{"key":"16_CR14","first-page":"27","volume-title":"Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998)","author":"D. Nurit","year":"1998","unstructured":"Nurit, D., Michael, R., Mooly, S.: Detecting memory errors via static pointer analysis. In: Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), June 1998, pp. 27\u201334. ACM, New York (1998)"},{"key":"16_CR15","unstructured":"ODMG. Object Query Language (2003)"},{"key":"16_CR16","volume-title":"The Theory of Concurrency Control.","author":"C. Papadimitriou","year":"1986","unstructured":"Papadimitriou, C.: The Theory of Concurrency Control. Computer Science Press, Rockville (1986)"},{"key":"16_CR17","volume-title":"SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2000)","author":"E. Ruf","year":"2000","unstructured":"Ruf, E.: Effective synchronization removal for Java. In: SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2000), Vancouver, British Columbia, Jun 2000, ACM, New York (2000)"},{"key":"16_CR18","volume-title":"Transactions on Database Systems","author":"K. Salem","year":"1994","unstructured":"Salem, K., Garcia-Molina, H., Shands, J.: Atruistic locking. In: Transactions on Database Systems, ACM, New York (1994)"},{"volume-title":"Transactional Information Systems: Theory, Algorithms, and Practice of Concurrency Control and Recovery","year":"2001","key":"16_CR19","unstructured":"Vossen, G., Weikum, G., Gray, J. (eds.): Transactional Information Systems: Theory, Algorithms, and Practice of Concurrency Control and Recovery. Morgan Kaufmann, San Francisco (2001)"},{"key":"16_CR20","volume-title":"Proc. of CC 2000: 9th Int. Conf. on Compiler Construction","author":"R. Wilhelm","year":"2000","unstructured":"Wilhelm, R., Sagiv, M., Reps, T.: Shape analysis. In: Proc. of CC 2000: 9th Int. Conf. on Compiler Construction, Berlin, Germany, March 2000, Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:15:18Z","timestamp":1619997318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}