Static analysis for Java servlets and JSP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4134 LNCS, Issue , 2006, Pages 336-352

  Kirkegaard, Christian ^a   Møller, Anders ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT FREE GRAMMARS; FORMAL LOGIC; HTML; WORLD WIDE WEB; XML;

JAVA SERVLETS; SESSION STATE; WEB APPLICATIONS;

JAVA PROGRAMMING LANGUAGE;

EID: 33749864932     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11823230_22     Document Type: Conference Paper

References (18)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. Assaf Arkin et al. Web Services Business Process Execution Language Version 2.0, December 2005. OASIS, Committee Draft.
3. Jean Berstel and Luc Boasson. Formal properties of XML grammars and languages. Acta Informatica, 38(9):649-671, 2002. Springer-Verlag.
4. Anne Brüggemann-Klein and Derick Wood. Balanced context-free grammars, hedge grammars and pushdown caterpillar automata. In Proc. Extreme Markup Languages, 2004.
5. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems, 25(6):814-875, 2003.
6. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Precise analysis of string expressions. In Proc. 10th International Static Analysis Symposium, SAS '03, volume 2694 of LNCS, pages 1-18. Springer-Verlag, June 2003.
7. M. H. Jansen-Vullers, Wil M. P. van der Aalst, and Michael Rosemann. Mining configurable enterprise information systems. Data & Knowledge Engineering, 56(3): 195-244, 2006.
8. Christian Kirkegaard and Anders Møller. Type checking with XML Schema in XACT. Technical Report RS-05-31, BRICS, 2005. Presented at Programming Language Technologies for XML, PLAN-X '06.
9. Christian Kirkegaard and Anders Møller. Static analysis for Java Servlets and JSP. Technical Report RS-06-10, BRICS, 2006.
10. Christian Kirkegaard, Anders Møller, and Michael I. Schwartzbach. Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering, 30(3): 181-192, March 2004.
11. Christian Kirkegaard and Anders Møller. dk.brics.schematools, 2006. http://www.brics.dk/schematools/.
12. Donald E. Knuth. A characterization of parenthesis languages. Information and Control, 11:269-289, 1967.
13. Yasuhiko Minamide. Static approximation of dynamically generated Web pages. In Proc. 14th International Conference on World Wide Web, WWW '05, pages 432-441. ACM, May 2005.
14. Mehryar Mohri and Mark-Jan Nederhof. Robustness in Language and Speech Technology, chapter 9: Regular Approximation of Context-Free Grammars through Transformation. Kluwer Academic Publishers, 2001.
15. Sun Microsystems. Java Servlet Specification, Version 2.4, 2003. Available from http://java.sun.com/products/servlet/.
16. Sun Microsystems. JavaServer Pages Specification, Version 2.0, 2003. Available from http://java.sun.com/products/jsp/.
17. Raja Vallee-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, and Phong Co. Soot - a Java optimization framework. In Proc. IBM Centre for Advanced Studies Conference, GASCON '99. IBM, November 1999.
18. Wil M. P. van der Aalst, Lachlan Aldred, Marlon Dumas, and Arthur H. M. ter Hofstede. Design and implementation of the YAWL system. In Proc. 16th International Conference on Advanced Information Systems Engineering, CAiSE '04, volume 3084 of LNCS. Springer-Verlag, June 2004.