activity
20152020
most citedCounterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

3 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018★ 2 cited

CSS Minification via Constraint Solving (Technical Report)

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

Minification is a widely-accepted technique which aims at reducing the size of the code transmitted over the web. We study the problem of minifying Cascading Style Sheets (CSS) ---…