Affiliation:
1. University of Aarhus, Aarhus, Denmark
Abstract
We incorporate innovations from the <bigwig> project into the Java language to provide high-level features for Web service programming. The resulting language, JWIG, contains an advanced session model and a flexible mechanism for dynamic construction of XML documents, in particular XHTML. To support program development we provide a suite of program analyses that at compile time verify for a given program that no runtime errors can occur while building documents or receiving form input, and that all documents being shown are valid according to the document type definition for XHTML 1.0.We compare JWIG with Servlets and JSP which are widely used Web service development platforms. Our implementation and evaluation of JWIG indicate that the language extensions can simplify the program structure and that the analyses are sufficiently fast and precise to be practically useful.
Publisher
Association for Computing Machinery (ACM)
Reference50 articles.
1. Aho A. V. Sethi R. and Ullman J. D. 1986. Compilers---Principles Techniques and Tools. Addison-Wesley Reading MA. 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/. Appeal Virtual Machines. 2002. JRockit---the faster server JVM. http://www.jrockit.com/.
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Core Calculus for Documents: Or, Lambda: The Ultimate Document;Proceedings of the ACM on Programming Languages;2024-01-05
2. Ur/Web;ACM SIGPLAN Notices;2015-05-11
3. Ur/Web;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14
4. Simple linear string constraints;Formal Aspects of Computing;2013-11
5. More Precise Analysis of Dynamically Generated String Expressions in Web Applications with Input Validation;IEICE Transactions on Information and Systems;2013