Data and source code for SatCSS

Matthew Hague (Creator)
Anthony Lin (Creator)
Chih-Duo Hong (Creator)

Department of Computer Science

Dataset

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

Access Dataset

https://royalholloway.figshare.com/articles/Data_and_Source_Code_for_Sat_CSS/7277324

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 Access
File

86 Downloads (Pure)

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