Static Analysis for Java Servlets and JSP

This publication has 10 references indexed in Scilit:

• Mining configurable enterprise information systems
  Data & Knowledge Engineering, 2006
• Static Analysis for Java Servlets and JSP
  BRICS Report Series, 2006
• Type Checking with XML Schema in XACT
  BRICS Report Series, 2005
• Static approximation of dynamically generated Web pages
  Published by Association for Computing Machinery (ACM) ,2005
• Static analysis of XML transformations in java
  IEEE Transactions on Software Engineering, 2004
• Design and Implementation of the YAWL System
  Published by Springer Nature ,2004
• Extending Java for high-level Web service construction
  ACM Transactions on Programming Languages and Systems, 2003
• Precise Analysis of String Expressions
  Published by Springer Nature ,2003
• Formal properties of XML grammars and languages
  Acta Informatica, 2002
• A characterization of parenthesis languages
  Information and Control, 1967