{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:30Z","timestamp":1725558930170},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254119"},{"type":"electronic","value":"9783540319856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31985-6_4","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T18:53:19Z","timestamp":1278874399000},"page":"43-58","source":"Crossref","is-referenced-by-count":11,"title":["XML Goes Native: Run-Time Representations for Xtatic"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Gapeyev","sequence":"first","affiliation":[]},{"given":"Michael Y.","family":"Levin","sequence":"additional","affiliation":[]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology\u00a03, 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of the International Conference on Functional Programming, ICFP (2000)","DOI":"10.1145\/351240.351242"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"V. Gapeyev","year":"2003","unstructured":"Gapeyev, V., Pierce, B.C.: Regular object types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, Springer, Heidelberg (2003); A preliminary version was presented at FOOL 2003"},{"key":"#cr-split#-4_CR4.2","doi-asserted-by":"crossref","unstructured":"Full version in Journal of Functional Programming 13(6), 961\u20131004 (2003)","DOI":"10.1017\/S0956796802004410"},{"key":"4_CR5","unstructured":"W3C: XSL Transformations, XSLT (1999), http:\/\/www.w3.org\/TR\/xslt"},{"key":"4_CR6","unstructured":"XQuery 1.0: An XML Query Language, W3C Working Draft (2004), http:\/\/www.w3.org\/TR\/xquery\/"},{"issue":"9","key":"4_CR7","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/944746.944711","volume":"38","author":"V\u00e9ronique Benzaken","year":"2003","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general-purpose language. In: ACM SIGPLAN International Conference on Functional Programming (ICFP), Uppsala, Sweden, pp. 51\u201363 (2003)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-30081-6_11","volume-title":"Database and XML Technologies","author":"A.S. Christensen","year":"2004","unstructured":"Christensen, A.S., Kirkegaard, C., M\u00f8ller, A.: A runtime system for XML transformations in java. In: Bellahs\u00e8ne, Z., Milo, T., Rys, M., Suciu, D., Unland, R. (eds.) XSym 2004. LNCS, vol.\u00a03186, pp. 143\u2013157. Springer, Heidelberg (2004)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Levin, M.Y.: Compiling regular patterns. In: ACM SIGPLAN International Conference on Functional Programming (ICFP), Uppsala, Sweden (2003)","DOI":"10.1145\/944705.944712"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Gapeyev, V., Levin, M.Y., Pierce, B.C., Schmitt, A.: XML goes native: Run-time representations for Xtatic. Technical Report MS-CIS-04-23, University of Pennsylvania (2004)","DOI":"10.1007\/978-3-540-31985-6_4"},{"key":"4_CR11","unstructured":"Gapeyev, V., Levin, M.Y., Pierce, B.C., Schmitt, A.: The Xtatic experience. Technical Report MS-CIS-04-24, University of Pennsylvania (2004)"},{"key":"4_CR12","unstructured":"Tabuchi, N., Sumii, E., Yonezawa, A.: Regular expression types for strings in a text processing language. In: den Bussche, J.V., Vianu, V. (eds.) Proceedings of Workshop on Types in Programming (TIP), pp. 1\u201318 (2002)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1137\/S0097539798339430","volume":"30","author":"H. Kaplan","year":"2000","unstructured":"Kaplan, H., Okasaki, C., Tarjan, R.E.: Simple confluently persistent catenable lists. SIAM Journal on Computing\u00a030, 965\u2013977 (2000)","journal-title":"SIAM Journal on Computing"},{"key":"4_CR14","unstructured":"Franc, X.: Qizx (2003), http:\/\/www.xfra.net\/qizxopen"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1016\/B978-155860869-6\/50096-2","volume-title":"VLDB '02: Proceedings of the 28th International Conference on Very Large Databases","author":"Albrecht Schmidt","year":"2002","unstructured":"Schmidt, A.R., Waas, F., Kersten, M.L., Carey, M.J., Manolescu, I., Busse, R.: XMark: A benchmark for XML data management. In: Proceedings of the International Conference on Very Large Data Bases (VLDB), Hong Kong, China, pp. 974\u2013985 (2002), see also http:\/\/www.xml-benchmark.org\/"},{"key":"4_CR16","unstructured":"DataPower Technology, Inc.: XSLTMark (2001), http:\/\/www.datapower.com\/xml_community\/xsltmark.html"},{"key":"4_CR17","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, 181\u2013192 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR18","unstructured":"Meijer, E., Schulte, W., Bierman, G.: Programming with circles, triangles and rectangles. In: XML Conference and Exposition (2003)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Harren, M., Raghavachari, B.M., Shmueli, O., Burke, M., Sarkar, V., Bordawekar, R.: XJ: Integration of XML processing into Java. Technical Report rc23007, IBM Research (2003)","DOI":"10.1145\/1010432.1010530"},{"key":"4_CR20","unstructured":"Kempa, M., Linnemann, V.: On XML objects. In: Workshop on Programming Language Technologies for XML, PLAN-X (2003)"},{"key":"4_CR21","unstructured":"Emir, B.: Extending pattern matching with regular tree expressions for XML processing in Scala. In: Diploma thesis, EPFL, Lausanne (2003), http:\/\/lamp.epfl.ch\/~buraq"},{"key":"4_CR22","unstructured":"Kay, M.H.: Saxon: Anatomy of an xslt processor (2001), http:\/\/www-106.ibm.com\/developerworks\/library\/x-xslt2\/"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Morris, J.H., Schmidt, E., Wadler, P.: Experience with an applicative string processing language. In: ACM Symposium on Principles of Programming Languages (POPL), Las Vegas, Nevada, pp. 32\u201346 (1980)","DOI":"10.1145\/567446.567450"},{"key":"4_CR24","doi-asserted-by":"crossref","first-page":"1082","DOI":"10.1002\/spe.4380121109","volume":"12","author":"M.R. Sleep","year":"1982","unstructured":"Sleep, M.R., Holmstr\u00f6m, S.: A short note concerning lazy reduction rules for append. Software Practice and Experience\u00a012, 1082\u20131084 (1982)","journal-title":"Software Practice and Experience"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Keller, R.M.: Divide and CONCer: Data structuring in applicative multiprocessing systems. In: Proceedings of the 1980 ACM conference on LISP and functional programming, pp. 196\u2013202 (1980)","DOI":"10.1145\/800087.802806"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(86)90059-1","volume":"22","author":"J. Hughes","year":"1986","unstructured":"Hughes, J.: A novel representation of lists and its application to the function \u201dreverse\u201d. Information Processing Letters\u00a022, 141\u2013144 (1986)","journal-title":"Information Processing Letters"},{"key":"4_CR27","unstructured":"Wadler, P.: The concatenate vanishes. Note, University of Glasgow (1987) (revised 1989)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Voigtl\u00e4nder, J.: Concatenate, reverse and map vanish for free. In: ACM SIGPLAN International Conference on Functional Programming (ICFP), Pittsburgh, Pennsylvania, pp. 14\u201325 (2002)","DOI":"10.1145\/581478.581481"},{"key":"4_CR29","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)"},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BF03037156","volume":"11","author":"K. Marriott","year":"1993","unstructured":"Marriott, K., S\u00f8ndergaard, H.: Difference-list transformation for prolog. New Generation Computing\u00a011, 125\u2013157 (1993)","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31985-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:33:11Z","timestamp":1605760391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31985-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254119","9783540319856"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31985-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}