Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Analysis of pointers and structures
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A runtime system for interactive Web services
WWW '99 Proceedings of the eighth international conference on World Wide Web
A type system for dynamic Web documents
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative specification of data-intensive Web sites
Proceedings of the 2nd conference on Domain-specific languages
Practical virtual method call resolution for Java
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Static validation of dynamically generated HTML
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ACM Transactions on Internet Technology (TOIT)
Principles of Program Analysis
Principles of Program Analysis
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
ASP.NET Programmer's Reference
ASP.NET Programmer's Reference
Automated Software Engineering
PowerForms: Declarative client-side form field validation
World Wide Web
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
XDuce: A Typed XML Processing Language (Preliminary Report)
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
Soot - a Java bytecode optimization framework
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Core PHP Programming, Third Edition
Core PHP Programming, Third Edition
Precise analysis of string expressions
SAS'03 Proceedings of the 10th international conference on Static analysis
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
XML templates and caching in WASH
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Static Analysis of XML Transformations in Java
IEEE Transactions on Software Engineering
A page-transition framework for image-oriented Web programming
ACM SIGSOFT Software Engineering Notes
Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Web programming in Scheme with LAML
Journal of Functional Programming
Higher-Order and Symbolic Computation
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
XJ: facilitating XML processing in Java
WWW '05 Proceedings of the 14th international conference on World Wide Web
Static approximation of dynamically generated Web pages
WWW '05 Proceedings of the 14th international conference on World Wide Web
String analysis for x86 binaries
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Ocsigen: typing web interaction with objective Caml
Proceedings of the 2006 workshop on ML
XML graphs in program analysis
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Static validation of XSL transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
The metafront system: Safe and extensible parsing and transformation
Science of Computer Programming
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
Visual programming for web applications that use HTML frame facilities
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Customizable verifiers for web applications and their implementation
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Better abstractions for secure server-side scripting
Proceedings of the 17th international conference on World Wide Web
Information Systems
Controlling Control Flow in Web Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Relations as an abstraction for BDD-based program analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Context-dependent extensible syntax-oriented verifier with recursive verification
WSEAS Transactions on Information Science and Applications
The Essence of Form Abstraction
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Customizable pattern-oriented verifiers for web applications
WSEAS Transactions on Information Science and Applications
Proceedings of the 2009 ACM symposium on Applied Computing
Automated Software Engineering
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Precise analysis of string expressions
SAS'03 Proceedings of the 10th international conference on Static analysis
Automatic generation of web applications from visual high-level functional web components
Advances in Software Engineering
XML graphs in program analysis
Science of Computer Programming
Contracts for cooperation between web service programmers and html designers
Journal of Web Engineering
Formal modeling
Static analysis for java servlets and JSP
SAS'06 Proceedings of the 13th international conference on Static Analysis
XML type checking using high-level tree transducer
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
The design space of type checkers for XML transformation languages
ICDT'05 Proceedings of the 10th international conference on Database Theory
Scalable programming abstractions for XML services
Dependable Systems
XML validation for context-free grammars
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Eliminating the XML overhead in embedded XML languages
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
We incorporate innovations from the 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.