Royal Holloway, University of London
Browse
satcss.tar (695.82 MB)

Data and Source Code for Sat CSS

Download (695.82 MB)
software
posted on 2018-12-06, 07:58 authored by Matthew HagueMatthew Hague, Anthony Widjaja Lin, Chih-Duo Hong
Source code, benchmark data, disk image for SatCSS tool accompanying TOPLAS article "CSS Minification via Constraint Solving"

Funding

Verification of Concurrent and Higher-Order Recursive Programs

Engineering and Physical Sciences Research Council

Find out more...

Google Faculty Award

History

Date Created

2016-2018

Date Available

2018-12-05

Usage metrics

    Computer Science

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC