CGI programming on the World Wide Web
CGI programming on the World Wide Web
Java servlet programming
Software—Practice & Experience
Professional Active Server Pages 2.0
Professional Active Server Pages 2.0
Principles of Program Analysis
Principles of Program Analysis
Core PHP Programming, Third Edition
Core PHP Programming, Third Edition
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Experience with a domain specific language for form-based services
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
ACM Transactions on Internet Technology (TOIT)
Language-Based Caching of Dynamically Generated HTML
World Wide Web
PowerForms: Declarative client-side form field validation
World Wide Web
High-Level Server Side Web Scripting in Curry
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Web Programming with SMLserver
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
Static Checking of Dynamically Generated Queries in Database Applications
Proceedings of the 26th International Conference on Software Engineering
Type-oriented construction of web user interfaces
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Putting declarative programming into the web: translating curry to javascript
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Static checking of dynamically generated queries in database applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
ESOP'03 Proceedings of the 12th European conference on Programming
Static consistency checking of web applications with WebDSL
Journal of Symbolic Computation
Server enforced program safety for web application engineering
Journal of Web Engineering
Hi-index | 0.00 |
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes the interaction by submitting data through incorporated form fields. This protocol is difficult to statically type-check if the dynamic documents are created by arbitrary script code using printf-like statements. Previous proposals have suggested using static document templates which trades flexibility for safety. We propose a notion of typed, higher-order templates that simultaneously achieve flexibility and safety. Our type system is based on a flow analysis of which we prove soundness. We present an efficient runtime implementation that respects the semantics of only well-typed programs. This work is fully implemented as part of the system for defining interactive Web services.