12 citations · 51 across the 20 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach
Matthew Hague, Anthony Widjaja Lin, Luke Ong
HTML5 applications normally have a large set of CSS (Cascading Style Sheets) rules for data display. Each CSS rule consists of a node selector (given in an XPath-like query languag…
cs.FL2014★ 5 cited
Saturation algorithms for model-checking pushdown systems
Arnaud Carayol, Matthew Hague
We present a survey of the saturation method for model-checking pushdown systems.