Description
Data and source code for SatCSS tool associated to TOPLAS publication on CSS minification.
| Date made available | 5 Dec 2018 |
|---|---|
| Publisher | Royal Holloway, University of London |
Research output
- 1 Article
-
CSS Minification via Constraint Solving
Hague, M., Lin, A. & Hong, C.-D., 21 Jun 2019, In: ACM Transactions on Programming Languages and Systems. 41, 2, p. 1-76 76 p., 12.Research output: Contribution to journal › Article › peer-review
Open AccessFile118 Downloads (Pure)
Projects
- 1 Finished
-
Verification of Concurrent and Higher-Order Recursive Programs
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research
Cite this
- DataSetCite