Verification of Concurrent and Higher-Order Recursive Programs

Research output

Research output per year 2013 2013 2014 2016 2017 2018 2019 2019

• 14 Conference contribution
• 3 Article
• 1 Paper

Research output per year

Research output per year

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 Access

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

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

  File
  68 Downloads (Pure)