Verification of Concurrent and Higher-Order Recursive Programs

Project: Research

Status	Finished
Effective start/end date	1/05/13 → 30/04/18

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

91 Downloads (Pure)
Decision procedures for path feasibility of string-manipulating programs with complex operations
Chen, T., Hague, M., Lin, A., Rümmer, P. & Wu, Z., 2 Jan 2019, (E-pub ahead of print) p. 1-30. 30 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
Constrained Dynamic Tree Networks
Hague, M. & Penelle, V., 2018, 12th International Conference on Reachability Problems. Springer International Publishing, p. 45-58 14 p. (Lecture Notes in Computer Science; vol. 11123).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

47 Downloads (Pure)

Data and source code for SatCSS
Hague, M. (Creator), Lin, A. (Creator) & Hong, C.-D. (Creator), Royal Holloway, University of London, 5 Dec 2018
https://royalholloway.figshare.com/articles/Data_and_Source_Code_for_Sat_CSS/7277324
Dataset
OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset

Project Details