Search results
-
2019
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 AccessFile106 Downloads (Pure) -
2018
Decidable models of integer-manipulating programs with recursive parallelism
Hague, M. & Lin, A., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 24-37 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile54 Downloads (Pure) -
2017
Collapsible Pushdown Automata and Recursion Schemes
Hague, M., Murawski, A., Ong, C.-H. L. & Serre, O., 21 Aug 2017, In: ACM Transactions on Computational Logic. 18, 3, p. 1-42 42 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile78 Downloads (Pure)