Static validation of dynamically generated HTML

  title={Static validation of dynamically generated HTML},
  author={Claus Brabrand and Anders M{\o}ller and M. Schwartzbach},
  booktitle={PASTE '01},
  • Claus Brabrand, Anders Møller, M. Schwartzbach
  • Published in PASTE '01 2001
  • Computer Science
  • We describe a static analysis of \bigwig\ programs that efficiently decides if all dynamically computed XHTML documents presented to the client will validate according to the official DTD. We employ two data-flow analyses to construct a graph summarizing the possible documents. This graph is subsequently analyzed to determine validity of those documents. By evaluating the technique on a number of realistic benchmarks, we demonstrate that it is sufficiently fast and precise to be practically… CONTINUE READING
    62 Citations
    Static Analysis for Dynamic XML
    • 31
    • PDF
    Language-Based Caching of Dynamically Generated HTML
    • 7
    A Runtime System for XML Transformations in Java
    • 23
    • PDF
    Static Checking of Dynamically Generated Queries in Database Applications
    • 63
    • PDF
    Static checking of dynamically generated queries in database applications
    • 220
    • PDF
    XML graphs in program analysis
    • 14
    • PDF
    Automated identification of parameter mismatches in web applications
    • 35
    • PDF
    The Core NSP Type System
    • PDF


    XHTML™ 1.0 The Extensible HyperText Markup Language
    • 370
    • Highly Influential
    • PDF
    A type syst em for dynamic Web documents. In Principles of Programming Languages (POPL’00)
    • 2000