{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:49:00Z","timestamp":1725565740377},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229698"},{"type":"electronic","value":"9783540300816"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30081-6_11","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:24:54Z","timestamp":1284639894000},"page":"143-157","source":"Crossref","is-referenced-by-count":1,"title":["A Runtime System for XML Transformations in Java"],"prefix":"10.1007","author":[{"given":"Aske Simon","family":"Christensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kirkegaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"M\u00f8ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1109\/32.798323","volume":"25","author":"D. Atkins","year":"1999","unstructured":"Atkins, D., Ball, T., Bruns, G., Cox, K.: Mawl: a domain-specific language for form-based services. IEEE Transactions on Software Engineering\u00a025(3), 334\u2013346 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general purpose language. In: Proc. 8th ACM International Conference on Functional Programming, ICFP (August 2003)","DOI":"10.1145\/944705.944711"},{"key":"11_CR3","volume-title":"Effective Java Programming Language Guide","author":"J. Bloch","year":"2001","unstructured":"Bloch, J.: Effective Java Programming Language Guide. Addison-Wesley, Reading (June 2001)"},{"key":"11_CR4","unstructured":"XQuery 1.0: An XML query language, W3C Working Draft (November 2003), \n                    \n                      http:\/\/www.w3.org\/TR\/xquery\/"},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/514183.514184","volume":"2","author":"C. Brabrand","year":"2002","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.I.: The <bigwig> project. ACM Transactions on Internet Technology\u00a02(2), 79\u2013114 (2002)","journal-title":"ACM Transactions on Internet Technology"},{"issue":"6","key":"11_CR6","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1145\/945885.945890","volume":"25","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems\u00a025(6), 814\u2013875 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR7","unstructured":"Clark, J.: XSL transformations (XSLT) specification, W3C Recommendation (November 1999), \n                    \n                      http:\/\/www.w3.org\/TR\/xslt"},{"key":"11_CR8","unstructured":"Clark, J., DeRose, S.: XML path language, W3C Recommendation (November 1999), \n                    \n                      http:\/\/www.w3.org\/TR\/xpath"},{"key":"11_CR9","unstructured":"DataPower. XSLTMark (2001), \n                    \n                      http:\/\/www.datapower.com\/xmldev\/xsltmark.html"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"V. Gapayev","year":"2003","unstructured":"Gapayev, V., Pierce, B.C.: Regular object types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, Springer, Heidelberg (2003)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Gapeyev, V., Levin, M.Y., Pierce, B.C., Schmitt, A.: XML goes native: Run-time representations for Xtatic (2004)","DOI":"10.1007\/978-3-540-31985-6_4"},{"key":"11_CR12","volume-title":"Proc. 19th International Conference on Data Engineering, ICDE 2003","author":"G. Gottlob","year":"2003","unstructured":"Gottlob, G., Koch, C., Pichler, R.: XPath query evaluation: Improving time and space efficiency. In: Proc. 19th International Conference on Data Engineering, ICDE 2003, IEEE Computer Society, Los Alamitos (2003)"},{"key":"11_CR13","volume-title":"Processing XML with Java","author":"E.R. Harold","year":"2002","unstructured":"Harold, E.R.: Processing XML with Java. Addison-Wesley, Reading (November 2002)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Harren, M., Raghavachari, M., Shmueli, O., Burke, M., Sarkar, V., Bordawekar, R.: XJ: Integration ofXMLprocessing into Java. Technical Report RC23007, IBM Research (2003)","DOI":"10.1145\/1013367.1013465"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-45271-0_15","volume-title":"The World Wide Web and Databases","author":"H. Hosoya","year":"2001","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol.\u00a01997, p. 226. Springer, Heidelberg (2001)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology\u00a03(2) (2003)","DOI":"10.1145\/767193.767195"},{"key":"11_CR17","unstructured":"Hunter, J., McLaughlin, B.: JDOM ( 2004), \n                    \n                      http:\/\/jdom.org\/"},{"key":"11_CR18","unstructured":"Kay. M.: XSL transformations (XSLT) version 2.0, W3C Working Draft (May 2003), \n                    \n                      http:\/\/www.w3.org\/TR\/xslt20\/"},{"key":"11_CR19","unstructured":"Kempa, M., Linnemann, V.: Type checking in XOBE. In: GI 1974. LNI, vol.\u00a026 ( February 2003)"},{"issue":"3","key":"11_CR20","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.I.: 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":"11_CR21","unstructured":"McWhirter, B., et al.: Jaxen (December 2003), \n                    \n                      http:\/\/jaxen.org\/"},{"key":"11_CR22","unstructured":"Meijer, E., Schulte, W., Bierman, G.: Programming with rectangles, triangles, and circles. In: Proc. XML Conference and Exposition, XML 2003 (December 2003)"},{"key":"11_CR23","unstructured":"Reynolds, J.C.: Intuitionistic reasoning about shared mutable data structure. In: Davies, J., Roscoe, B., Woodcock, J. (eds.) Millennial Perspectives in Computer Science, Proc. 1999 Oxford\u2013Microsoft Symposium in Honour of Sir Tony Hoare, Palgrave, pp. 303\u2013321 (November 2000)"},{"issue":"3","key":"11_CR24","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"S. Sagiv","year":"2002","unstructured":"Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric shape analysis via 3- valued logic. ACM Transactions on Programming Languages and Systems\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"8","key":"11_CR25","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/363534.363554","volume":"10","author":"H. Schorr","year":"1967","unstructured":"Schorr, H., Waite, W.M.: An efficient machine independent procedure for garbage collection in various list structures. Communications of the ACM\u00a010(8), 501\u2013506 (1967)","journal-title":"Communications of the ACM"},{"key":"11_CR26","unstructured":"Venners, B.: A conversation with James Gosling. JavaWorld (June 2001)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or typebased translation. In: Proc. 5th ACM SIGPLAN International Conference on Functional Programming, ICFP 1999 (September 1999)","DOI":"10.1145\/317636.317794"}],"container-title":["Lecture Notes in Computer Science","Database and XML Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30081-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:34:56Z","timestamp":1558290896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30081-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229698","9783540300816"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30081-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}