48 citations · 174 across the 34 of their papers we have counts for
Showing 2014 · cs.LOShow all
3 papers · 2 filters
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.LO2014
Decidable Models of Recursive Asynchronous Concurrency
Jonathan Kochems, C. -H. Luke Ong
Asynchronously communicating pushdown systems (ACPS) that satisfy the empty-stack constraint (a pushdown process may receive only when its stack is empty) are a popular decidable m…
cs.LO2014
Safety verification of asynchronous pushdown systems with shaped stacks
Jonathan Kochems, C-H Luke Ong
In this paper, we study the program-point reachability problem of concurrent pushdown systems that communicate via unbounded and unordered message buffers. Our goal is to relax the…