Static Validation of Dynamically Generated HTML

Static Validation of Dynamically Generated HTML (2001)

Cached

Download Links

by Claus Brabrand , Anders Møller , Michael I. Schwartzbach

Citations:

BibTeX

@MISC{Brabrand01staticvalidation,
    author = {Claus Brabrand and Anders Møller and Michael I. Schwartzbach},
    title = { Static Validation of Dynamically Generated HTML},
    year = {2001}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

458	Principles of Program Analysis - Nielson, Nielson, et al. - 1999
122	XDuce: A typed XML processing language - Hosoya, Pierce - 2003
104	Regular expression pattern matching for XML - Hosoya, Pierce - 2002
46	Linear parametric model checking of timed automata - Hune, Romijn, et al. - 2001
41	XMλ: A functional language for constructing and manipulating XML documents - Meijer, Shields - 1999
41	Mawl: A domain specific language for form-based services - Atkins, Ball, et al. - 1999
41	Programming the web: An applicationoriented language for hypermedia service programming - Ladd, Ramming - 1995
28	ET AL: XHTML 1.0 : The Extensible HyperText Markup Language (Second Edition - PEMBERTON
27	A type system for dynamic web documents - Sandholm, Schwartzbach - 2000
25	M.I.: DSD: a schema language for XML - Karlund, Moller, et al. - 2000
5	Alexey Zverovich. Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP - Gutin, Yeo - 2001
5	Efficient Guiding Towards Cost-Optimality in UPPAAL - Larsen, Romijn - 2001
5	Tools and Algorithms for The Construction and Analysis of Systems - Hune, Larsen, et al. - 2001
4	On the Number of Quasi-Kernels in Digraphs - Gutin, Koh, et al. - 2001
3	The<bigwig> project. Submitted for publication. Available from http://www.brics.dk/bigwig - Brabrand, Møller, et al.
3	Optimal Time-Space TradeOffs for Non-Comparison-Based Sorting - Pagh, Pagter
1	Pemberton et al. XHTML 1.0: The Extensible HyperText Markup Language - Steven - 2000