Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems

Volumn 25, Issue 6, 2003, Pages 814-875

  Christensen, Aske Simon ^a   Møller, Anders ^a   Schwartzbach, Michael I ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Data flow analysis; Interactive Web services; XML

Indexed keywords

DATA-FLOW ANALYSIS; HIGH-LEVEL FEATURES; INTERACTIVE WEB SERVICES; PROGRAM STRUCTURES;

HTML; INFORMATION RETRIEVAL SYSTEMS; PROGRAM COMPILERS; WORLD WIDE WEB; XML;

JAVA PROGRAMMING LANGUAGE;

EID: 1542595072     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/945885.945890     Document Type: Article

References (51)

1. AHO, A. V., SETHI, R., AND ULLMAN, J. D. 1986. Compilers - Principles, Techniques, and Tools. Addison-Wesley, Reading, MA.
2. APPEAL VIRTUAL MACHINES. 2002. JRockit-the faster server JVM. http://www.jrockit.com/.
3. ATKINSON, L. 2000. Core PHP Programming, 2nd ed. Prentice Hall, Englewood Cliffs, NJ.
4. BEHLENDORF, B. ET AL. 2002. The Apache HTTP server project, http://httpd.apache.org/.
5. Box, D. ET AL. 2000. Simple object access protocol (SOAP) 1.1. W3C Note, http://www.w3.org/TR/SOAP/.
6. BOVER, L., DANIELSEN, P., FERRANS, J., KARAM, G., LADD, D., LUCAS, B., AND REHOR, K. 2000. Voice extensible Markup Language, Version 1.0. W3C. W3C Note. http://www.w3.org/TR/voicexml/.
7. BRABRAND, C. 2000. Version 1.3-Reference Manual. Notes Series NS-00-4. BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark.
8. BRABRAND, C., MØLLER, A., RICKY, M., AND SCHWARTZBACH, M. I. 2000. PowerForms: Declarative client-side form field validation. World Wide Web J. 3, 4 (Dec.), 205-314.
9. BRABRAND, C., MØLLER, A., SANDHOLM, A., AND SCHWARTZBACH, M. I. 1999. A runtime system for interactive Web services. Comput. Netw. 31, 11-16 (May), 1391-1401. Also in Proceedings of the 8th International World Wide Web Conference (WWW8).
10. Also in Proceedings of the 8th International World Wide Web Conference (WWW8)
11. BRABRAND, C., MØLLER, A., AND SCHWARTZBACH, M. I. 2001. Static validation of dynamically generated HTML. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE "01). 221-231.
12. BRABRAND, C., MØLLER, A., AND SCHWARTZBACH, M. I. 2002. The project. ACM Trans. Internet Tech. 2, 2, 79-114.
13. BRABRAND, C., SCHWARTZBACH, M. I., AND VANGGAAR, M. 2003. The metafront system: Extensible parsing and transformation. In Proceedings of the 3rd ACM SIGPLAN Workshop on Language Descriptions, Tools and Applications (LDTA" 03).
14. BRAY, T., HOLLANDER, D., AND LAYMAN, A. 1999. Namespaces in XML. W3C Recommendation, http://www.w3.org/TR/REC-xml-names/.
15. BRAY, T., PAOLI, J., SPERBERG-MCQUEEN, C. M., AND MALER, E. 2000. Extensible Markup Language (XML) 1.0 (2nd ed.). W3C Recommendation. http://www.w3.org/TR/REC-xml.
16. CHASE, D. R., WEGMAN, M., AND ZADECK, F. K. 1990. Analysis of pointers and structures. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI "90). 296-310.
17. CHRISTENSEN, A. S. AND MØLLER, A. 2002. JWIG User Manual. BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark. Available from http://www.jwig.org/manual/.
18. CHRISTENSEN, A. S., MØLLER, A., AND SCHWARTZBACH, M. I. 2002. Static analysis for dynamic XML. Tech. rep. RS-02-24, BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark. Presented at Programming Language Technologies for XML, PLAN-X, October 2002.
19. CHRISTENSEN, A. S., MØLLER, A., AND SCHWARTZBACH, M. I. 2003. Preise analysis of string expressions. In Proceedings of the 10th International Static Analysis Symposium (SAS"03). Lecture Notes in Computer Science, vol. 2694. Springer-Verlag, Berlin, Germany.
20. CHRISTENSEN, E., CURBERA, F., MEREDITH, G., AND WEERAWARANA, S. 2001. Web services description language (WSDL) 1.1. W3C Note. http://www.w3.org/TR/wsdl.
21. DEAN, J., GROVE, D., AND CHAMBERS, C. 1995. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP"95). Lecture Notes in Computer Science, vol. 952. Springer-Verlag, Berlin, Germany.
22. EXOLAB GROUP. 2002. Castor. http://castor.exolab.org/.
23. FERNANDEZ, M. F., SUCIU, D., AND TATARINOV, I. 1999. Declarative specification of data-intensive Web sites. In Proceedings of the 2nd Conference on Domain-Specific Languages (DSL "99). USENIX/ACM.
24. HOMER, A., SCHENKEN, J., GIBBS, M., NARHEWICZ, J. D., BELL, J., CLARK, M., ELMHORST, A., LEE, B., MILNER, M., AND REHAN, A. 2001. ASP.NET Programmer"s Reference. Wrox Press, Hoboken, NJ.
25. HOPCROFT, J. E. AND ULLMAN, J. D. 1979. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, MA.
26. HOSOYA, H. AND PIERCE, B. C. 2000. XDuce: A typed XML processing language. In Proceedings of the 3rd International Workshop on the World Wide Web and Databases (WebDB "00). Lecture Notes in Computer Science, vol. 1997. Springer-Verlag, Berlin, Germany.
27. HUNTER, J. AND McLAUGHLIN, B. 2001. JDOM. http://jdom.org/.
28. KAM, J. B. AND ULLMAN, J. D. 1977. Monotone data flow analysis frameworks. Acta Informatica 7, 305-317.
29. KLARLUND, N., MØLLER, A., AND SCHWARTZBACH, M. I. 2000. Document Structure Description 1.0. Notes Series NS-00-7. BRICS, Department of Computer Science, University of Aarhus. Available from http://www.brics.dk/DSD/.
30. KLARLUND, N., MØLLER, A., AND SCHWARTZBACH, M. I. 2002. The DSD schema language. Automat. Softw. Eng. 9, 3, 285-319. Earlier version in Proceedings of the 3rd ACM SIGPLAN-SIGSOFT Workshop on Formal Methods in Software Practice (FMSP "00).
31. KLEIN, G. 2001. JFlex-the fast scanner generator for Java, http://www.jflex.de/.
32. LADD, D. A. AND RAMMING, J. C. 1996. Programming the Web: An application-oriented language for hypermedia services. World Wide Web J. 1,1 (Jan.). Also in Proceedings of the 4th International World Wide Web Conference (WWW4).
33. McCLANAHAN, C. R. ET AL. 2002. Struts, http://jakarta.apache.org/struts/.
34. MOHRI, M. AND NEDERHOF, M.-J. 2001. Robustness in Language and Speech Technology. Kluwer Academic Publishers, Dordrecht, The Netherlands. See Chap. 9: "Regular Approximation of Context-Free Grammars through Transformation."
35. MØLLER, A. 2001a. The runtime system, http://www.brics.dk/bigwig/runwig/.
36. MØLLER, A. 2001b. dk.brics.automaton-finite-state automata and regular expressions for Java, http://www.brics.dk/automaton/.
37. MØLLER, A. 2002. Document Structure Description 2.0. BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark. Available from http://www.brics.dk/DSD/.
38. NETSCAPE. 1999. Server-side JavaScript. http://developer.netscape.com/docs/manuals/ssjs.html.
39. NIELSON, F., NIELSON, H. R., AND HANKIN, C. 1999. Principles of Program Analysis. Springer-Verlag, Berlin, Germany.
40. OSKOBOINY, G. 2001. HTML Validation Service, http://validator.w3.org/.
41. PEMBERTON, S. ET AL. 2000. XHTML 1.0: The extensible hypertext markup language. W3C Recommendation, http://www.w3.org/TR/xhtml1.
42. RAGGETT, D., HORS, A. L., AND JACOBS, I. 1999. HTML 4.01 specification. W3C Recommendation. http://www.w3.org/TR/html4/.
43. REPS, T. 1998. Program analysis via graph reachability. Inform. Softw. Techn. 40, 11-12 (Nov./Dec.), 701-726.
44. SANDHOLM, A. AND SCHWARTZBACH, M. I. 2000. A type system for dynamic Web documents. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL "00).
45. SUN MICROSYSTEMS. 2001a. Java Servlet Specification, Version 2.3. Available from http://java.sun.com/products/servlet/.
46. SUN MICROSYSTEMS. 2001b. JavaServer Pages Specification, Version 1.2. Available from http://java.sun.com/products/jsp/.
47. SUN MICROSYSTEMS. 2002. JAXB. http://java.sun.com/xml/jaxb/.
48. SUNDARESAN, V., HENDREN, L. J., RAZAFIMAHEFA, C., VALLEE-RAI, R., LAM, P., GAGNON, E., AND GODIN, C. 2000. Practical virtual method call resolution for Java. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA "00).
49. THOMPSON, H. S., BEECH, D., MALONEY, M., AND MENDELSOHN, N. 2001. XML Schema part 1: Structures. W3C Recommendation. http://www.w3.org/TR/xmlschema-1/.
50. VALLEE-RAI, R., HENDREN, L., SUNDARESAN, V., LAM, P., GAGNON, E., AND Co, P. 1999. Soot-a Java optimization framework. In Proceedings of the IBM Centre for Advanced Studies Conference (CASCON "99). IBM, Yorktown, Heights, NJ.
51. WAP FORUM. 2001. Wireless Markup Language, Version 2.0. Wireless Application Protocol Forum. http://www.wapforum.org/.