Type Checking in XOBE

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-26, Issue , 2003, Pages 227-246

  Kempa, Martin ^a   Linnemann, Volker ^a  

^a UNIVERSITY OF LÜBECK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; WOODEN FENCES;

COMPILE TIME; DATA VALUES; INTERNET APPLICATION; INTERNET DATA; TYPECHECKING; XML-SCHEMA;

XML;

EID: 85134434960     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. Serge Abiteboul, Peter Buneman, and Dan Suciu. Data on the Web, From Relations to Semistructured Data and XML. Morgan Kaufmann Publishers, San Francisco, California, 2000.
2. Ken Arnold and James Gosling. The Java Programming Language. The Java series. Addison Wesley Longman Limited, second edition, 1998.
3. Valentin Antimirov. Rewriting Regular Inequalities. In Reichel, editor, Fundamentals of Computation Theory, volume 965 of LNCS, pages 116-125. Springer Verlag Heidelberg, 1994.
4. Ralf Behrens. MONTANA: Towards a Web-based infrastructure to improve lecture and research in a university environment. In Proceedings of the 2nd Int. Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2000), Milpitas, California, pages 58-66. IEEE Computer Society, June 2000.
5. Anne Brüggemann-Klein, Makoto Murata, and Derick Wood. Regular Tree and Regular Hedge Languages over Unranked Alphabets: Version 1. Technical Report HKUSTTCSC-2001-05, Hong Kong University of Science & Technology, April 3 2001. Theoretical Computer Science Center.
6. Claus Brabrand, Anders Moller, and Michael I. Schwartzbach. Static validation of dynamically generated HTML. In Proceedings of Workshop on Program Analysis for Software Tools and Engineering (PASTE 2001), June 18-19, Snowbird, Utah, USA. ACM, 2001.
7. Borland. XML Application Developer's Guide, JBuilder. Borland Software Corporation, Scotts Valley, CA, 1997,2001. Version 5.
8. Ronald Bourret. XML Data Binding Resources. web document, http://www.rpbourret.com/xml/XMLDataBinding.htm, 28. July 2002.
9. ExoLab Group. Castor. ExoLab Group, http://castor.exolab.org/, 11 December 2001.
10. Daniela Florescu, Andreas Grünhagen, and Donald Kossmann. XL: An XML Programming Language for Web Service Specification and Composition. In Proceedings of International World Wide Web Conference (WWW 2002), May 7-11, Honolulu, Hawaii, USA. ACM, 2002. ISBN 1-880672-20-0.
11. Duane K. Fields and Mark A. Kolb. Web Development with Java Server Pages, A practical guide for designing and building dynamic web services. Manning Publications Co., 32 Lafayette Place, Greenwich, CT 06830, 2000.
12. M. Gaither. Foundations of WWW-Programming with HTML and CGI. IDG-Books Worldwide Inc., Foster City, California, USA, 1995.
13. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular Expression Types for XML. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montreal, Canada, volume 35(9) of SIGPLAN Notices, pages 11-22. ACM, September 18-21 2000. ISBN 1-58113-202-6.
14. JDOM Project. JDOM FAQ. http://www.jdom.org/docs/faq.html.
15. Martin Kempa. Schema-abhängige Programmierung von XML-basierten Web-Anwendungen. PhD thesis, Institut für Informationssysteme, Universität zu Lübeck, 2003. to appear, in german.
16. Martin Kempa and Volker Linnemann. V-DOM and P-XML - Towards A Valid Programming Of XML-based Applications. In Akmal B. Chaudhri and Awais Rashid, editors, OOPSLA'01 Workshop on Objects, XML and Databases, Tamba Bay, Florida, USA, October 2001.
17. Martin Kempa and Volker Linnemann. On XML Objects. In Informal Proceedings of the Workshop on Programming Language Technologies for XML (PLAN-X 2002), PLI 2002, Pittsburgh, USA, pages 44-54, 3.-8. October 2002.
18. Jens Kramer. Erzeugung garantiert gültiger Server-Seiten für Dokumente der Extensible Markup Language XML. Master's thesis, Institut für Informationssysteme, Universität zu Lübeck, 2002. in german.
19. Volker Linnemann. Context-free Grammars and Derivation Trees in Algol 68. In Proceedings International Conference on ALGOL68, Amsterdam, pages 167-182, 1981.
20. Volker Linnemann and Martin Kempa. Sprachen und Werkzeuge zur Generierung von HTML- und XML-Dokumenten. Informatik Spektrum, 25(5):349-358, 2002. in german.
21. Microsoft Corporation..NET Framework Developer's Guide. web document, http://msdn.microsoft.com/library/default.asp, 2001.
22. Netscape Communications Corporation. JavaScript 1.1 Language Specification. http://www.netscape.com/eng/javascript/index.html, 1997.
23. Oracle Corporation. Oracle9i, Application Developer's Guide - XML, Release 1 (9.0.1). Redwood City, CA 94065, USA, June 2001. Shelley Higgins, Part Number A88894-01.
24. Eduardo Pelegrí-Llopart and Larry Cable. Java Server Pages Specification, Version 1.1. Java Software, Sun Microsystems, http://java.sun.com/products/jsp/download.html, 30. November 1999.
25. Sun Microsystems, Inc. The Java Architecture for XML Binding, User Guide. http://www.sun.com, May 2001.
26. The Apache XML Project. Xerces Java Parser. http://xml.apache.org/xerces-j/index.html, 15. November 2001. Version 1.4.4.
27. Kevin Tao, Wanjun Wang, and Dr. Jens Palsberg. Java Tree Builder JTB. http://www.cs.purdue.edu/jtb/, 15. May 2000. Version 1.2.2.
28. W3Consortium. Document Object Model (DOM) Level 1 Specification, Version 1.0. Recommendation, http://www.w3.org/TR/1998/REC-DOM-Level-119981001/, 1. October 1998.
29. W3Consortium. Extensible Markup Language (XML) 1.0. Recommendation, http://www.w3.org/TR/1998/REC-xml-19980210/,10. February 1998.
30. W3Consortium. XML Path Language (XPath), Version 1.0. Recommendation, http://www.w3.org/TR/xpath, 16. November 1999.
31. W3Consortium. XML Schema: Formal Description. Working Draft, http://www.w3.org/TR/2001/WD-xmlschema-formal-20010925/,25. September 2001.
32. W3Consortium. XML Schema Part 0: Primer. Recommendation, http://www.w3.org/TR/2001/REC-xmlschema-0-20010502/, 2. May 2001.
33. W3Consortium. XQuery 1.0: An XML Query Language. Working Draft, http://www.w3.org/TR/2002/WD-xquery-20021115/,15. November 2002.
34. WebGain. Java Compiler Compiler (JavaCC) - The Java Parser Generator. http://www.webgain.com/products/javacc/, 2002. Version 2.1.
35. A. R. Williamson. Java Servlets by Example. Manning Publications Co., Greenwich, 1999.
36. L. Wall and R. L. Schwartz. Programming Perl. O'Reilly & Associates, Inc., Sebastipol, California, 1992.