XML goes native: Run-time representations for XTATIC

Lecture Notes in Computer Science

Volumn 3443, Issue , 2005, Pages 43-58

  Gapeyev, Vladimir ^a   Levin, Michael Y ^a   Pierce, Benjamin C ^a   Schmitt, Alan ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; DATA PROCESSING; INFORMATION TECHNOLOGY; MATHEMATICAL TRANSFORMATIONS; PATTERN MATCHING; PROGRAM COMPILERS; TREES (MATHEMATICS);

SYNTAX; XML PROCESSING; XML TAGS; XML TREES;

XML;

EID: 24644496752     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31985-6_4     Document Type: Conference Paper

References (30)

1. Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology 3 (2003) 117-148
2. Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of the International Conference on Functional Programming (ICFP). (2000)
3. Gapeyev, V., Pierce, B.C.: Regular object types. In: European Conference on Object-Oriented Programming (ECOOP), Darmstadt, Germany. (2003) A preliminary version was presented at FOOL '03.
4. Hosoya, H., Pierce, B.C.: Regular expression pattern matching. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), London, England. (2001) Full version in Journal of Functional Programming, 13(6), Nov. 2003, pp. 961-1004.
5. W3C: XSL Transformations (XSLT) (1999) http://www.w3.org/TR/xslt.
6. XQuery 1.0: An XML Query Language, W3C Working Draft (2004) http://www.w3.org/TR/xquery/.
7. Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general-purpose language. In: ACM SIGPLAN International Conference on Functional Programming (ICFP), Uppsala, Sweden. (2003) 51-63
8. Christensen, A.S., Kirkegaard, C., Møller, A.: A runtime system for XML transformations in Java. In Bellahsène, Z., Milo, T., Michael Rys, e.a., eds.: Database and XML Technologies: International XML Database Symposium (XSym). Volume 3186 of Lecture Notes in Computer Science., Springer (2004) 143-157
9. Levin, M.Y.: Compiling regular patterns. In: ACM SIGPLAN International Conference on Functional Programming (ICFP), Uppsala, Sweden. (2003)
10. Gapeyev, V., Levin, M.Y., Pierce, B.C., Schmitt, A.: XML goes native: Runtime representations for Xtatic. Technical Report MS-CIS-04-23, University of Pennsylvania (2004)
11. Gapeyev, V., Levin, M.Y., Pierce, B.C., Schmitt, A.: The Xtatic experience. Technical Report MS-CIS-04-24, University of Pennsylvania (2004)
12. 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). (2002) 1-18
13. Kaplan, H., Okasaki, C., Tarjan, R.E.: Simple confluently persistent catenable lists. SIAM Journal on Computing 30 (2000) 965-977
14. Franc, X.: Qizx. http://www.xfra.net/qizxopen (2003)
15. 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 (2002) 974-985 See also http://www.xml-benchmark.org/.
16. DataPower Technology, Inc.: XSLTMark. http://www.datapower.com/ xml_community/xsltmark.html (2001)
17. Kirkegaard, C., Møller, A., Schwartzbach, M.I.: Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering 30 (2004) 181-192
18. Meijer, E., Schulte, W., Bierman, G.: Programming with circles, triangles and rectangles. In: XML Conference and Exposition. (2003)
19. 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)
20. Kempa, M., Linnemann, V.: On XML objects. In: Workshop on Programming Language Technologies for XML (PLAN-X). (2003)
21. Emir, B.: Extending pattern matching with regular tree expressions for XML processing in Scala. Diploma thesis, EPFL, Lausanne; http://lamp.epfl.ch/ ~buraq (2003)
22. Kay, M.H.: Saxon: Anatomy of an xslt processor (2001) http://www-106.ibm.com/developerworks/library/x-xslt2/.
23. 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. (1980) 32-46
24. Sleep, M.R., Holmström, S.: A short note concerning lazy reduction rules for append. Software Practice and Experience 12 (1982) 1082-4
25. Keller, R.M.: Divide and CONCer: Data structuring in applicative multiprocessing systems. In: Proceedings of the 1980 ACM conference on LISP and functional programming. (1980) 196-202
26. Hughes, J.: A novel representation of lists and its application to the function "reverse". Information Processing Letters 22 (1986) 141-144
27. Wadler, P.: The concatenate vanishes. Note, University of Glasgow (1987) (revised 1989).
28. Voigtländer, J.: Concatenate, reverse and map vanish for free. In: ACM SIGPLAN International Conference on Functional Programming (ICFP), Pittsburgh, Pennsylvania. (2002) 14-25
29. Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press (1986)
30. Marriott, K., Søndergaard, H.: Difference-list transformation for prolog. New Generation Computing 11 (1993) 125-157