Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing
Abstract elided by the publisher.
Related papers
- A typed representation for HTML and XML documents in Haskell JFP 2002
- A Type System for Dynamic Web Documents POPL 2000
- The essence of command injection attacks in web applications POPL 2006
- Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects OOPSLA 2023
- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology SAS 2009
- Server side web scripting in Haskell JFP 2000
- Web programming in Scheme with LAML JFP 2005
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012