{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:20:52Z","timestamp":1725492052118},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759867"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75987-4_15","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T13:29:16Z","timestamp":1191504556000},"page":"216-230","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of Imperative XML Programs"],"prefix":"10.1007","author":[{"given":"Michael G.","family":"Burke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Peshansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mukund","family":"Raghavachari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Reichenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: Proceedings of the 15th Symposium on Principles of Programming Languages, pp. 1\u201311 (January 1988)","DOI":"10.1145\/73560.73561"},{"key":"15_CR2","unstructured":"Calvert, C.: Linq samples update (2007), http:\/\/blogs.msdn.com\/charlie\/archive\/2007\/03\/04\/samples-update.aspx"},{"key":"15_CR3","unstructured":"Chamberlin, D., Carey, M., Florescu, D., Kossman, D., Robie, J.: XQueryP: Programming with XQuery. In: XIME-P (2006)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Genev\u00e8s, P., Layaida, N., Schmitt, A.: Efficient static analysis of XML paths and types. In: Conference on Programming Language Design and Implementation (June 2007)","DOI":"10.1145\/1250734.1250773"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Harren, M., Raghavachari, M., Shmueli, O., Burke, M., Bordawekar, R., Pechtchanski, I., Sarkar, V.: XJ: Facilitating XML processing in Java. In: Proceedings of World Wide Web (WWW), pp. 278\u2013287 (May 2005)","DOI":"10.1145\/1060745.1060788"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Proceedings of the 1st Symposium on Principles of Programming Languages, pp. 194\u2013206 (1973)","DOI":"10.1145\/512927.512945"},{"issue":"3","key":"15_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/TSE.2004.1271173","volume":"30","author":"C. Kirkegaard","year":"2004","unstructured":"Kirkegaard, C., M\u00f8ller, A., Schwartzbach, M.: Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering\u00a030(3), 181\u2013192 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR8","unstructured":"Lieuwen, D.F., DeWitt, D.J.: Optimizing loops in database programming languages. In: DBPL, pp. 287\u2013305 (1991)"},{"key":"15_CR9","unstructured":"Meijer, E., Beckman, B.: XLinq: XML Programming Refactored (The Return of the Monoids). In: XML 2005 Proceedings (2005)"},{"issue":"1","key":"15_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/962446.962448","volume":"51","author":"G. Miklau","year":"2004","unstructured":"Miklau, G., Suciu, D.: Containment and equivalence for a fragment of XPath. J. ACM\u00a051(1), 2\u201345 (2004)","journal-title":"J. ACM"},{"issue":"6","key":"15_CR11","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1145\/267959.269966","volume":"19","author":"S.-M. Moon","year":"1997","unstructured":"Moon, S.-M., Ebcio\u01e7lu, K.: Parallelizing nonnumerical code with selective scheduling and software pipelining. ACM Transactions on Programming Languages and Systems\u00a019(6), 853\u2013898 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11687238_34","volume-title":"Advances in Database Technology - EDBT 2006","author":"M. Raghavachari","year":"2006","unstructured":"Raghavachari, M., Shmueli, O.: Conflicting XML updates. In: Ioannidis, Y., Scholl, M.H., Schmidt, J.W., Matthes, F., Hatzopoulos, M., Boehm, K., Kemper, A., Grust, T., Boehm, C. (eds.) EDBT 2006. LNCS, vol.\u00a03896, Springer, Heidelberg (2006)"},{"key":"15_CR13","unstructured":"Reichenbach, C., Burke, M., Peshansky, I., Raghavachari, M., Bordawekar, R.: AXIL: An XPath Intermediate Language. IBM Research Report RC24075 (2006)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"974","DOI":"10.1007\/3-540-36556-7_10","volume-title":"Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web","author":"A. Schmidt","year":"2003","unstructured":"Schmidt, A., Waas, F., Kersten, M., Carey, M., Manolescu, I., Busse, R.: Xmark: A benchmark for XML data management. In: Bressan, S., Chaudhri, A.B., Lee, M.L., Yu, J.X., Lacroix, Z. (eds.) CAiSE 2002 and VLDB 2002. LNCS, vol.\u00a02590, pp. 974\u2013985. Springer, Heidelberg (2003)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Proceedings of the 23rd Symposium on Principles of Programming Languages, pp. 32\u201341 (1996)","DOI":"10.1145\/237721.237727"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Wiedermann, B.A., Cook, W.R.: Extracting queries by static analysis of transparent persistence. In: Proceedings of the 34th Symposium on Principles of Programming Languages (January 2007)","DOI":"10.1145\/1190216.1190248"},{"key":"15_CR17","unstructured":"World Wide Web Consortium. XML Path Language (XPath) Version 1.0 (1999)"},{"key":"15_CR18","unstructured":"World Wide Web Consortium. Document Object Model Level 2 Core (2000)"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75987-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:38:42Z","timestamp":1619519922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75987-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540759867"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75987-4_15","relation":{},"subject":[]}}