Static validation of dynamically generated HTML

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2001, Pages 38-45

  Brabrand, C ^a   Moller A ^a   Schwartzbach, M I ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; HTML; PROGRAM COMPILERS; WORLD WIDE WEB;

STATIC ANALYSIS; WEB SERVER;

SOFTWARE ENGINEERING;

EID: 0034819587     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7146/brics.v8i9.20464     Document Type: Conference Paper

References (10)

1. Mawl: A domain-specific language for form-based services
2. XDuce: A typed XML processing language
3. Regular expression pattern matching for XML
4. DSD: A schema language for XML
5. Programming the web: An application-oriented language for hypermedia services
6. XMλ: A functional language for constructing and manipulating XML documents
7. A type system for dynamic web documents