Data and Source Code for Sat CSS
softwareposted on 06.12.2018 by Matthew Hague, Anthony Widjaja Lin, Chih-Duo Hong
Code as a research output can either be uploaded directly from your computer or through the code management system GitHub. Versioning of code repositories is supported.
Source code, benchmark data, disk image for SatCSS tool accompanying TOPLAS article "CSS Minification via Constraint Solving"
Verification of Concurrent and Higher-Order Recursive Programs
Engineering and Physical Sciences Research CouncilFind out more...