A Type System for Dynamic Web Documents
Abstract:
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.
Citations
| 496 | S.: The Implementation of Functional Programming Languages – Jones - 1987 |
| 46 | Programming the web: An application-oriented language for hypermedia service programming – Ladd, Ramming - 1995 |
| 25 | Experience with a Domain Specific Language for Form-based Services – Atkins, Ball, et al. |
| 7 | Principles of Program Analysis: Flows and Effects – Nielson, Nielson, et al. - 1999 |
| 6 | A language for developing interactive Web services – Brabrand, Mller, et al. - 1999 |
| 2 | Web programming in Guide – Levy - 1998 |
