String Constraint Solving with Real-World Regular Expressions

Hague, Matthew (PI)

Project: Research

Status	Finished
Effective start/end date	1/07/19 → 30/06/22

Funding

Eng & Phys Sci Res Council EPSRC: £393,618.00

2 Conference contribution
1 Paper

Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

8 Downloads (Pure)
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
File

59 Downloads (Pure)
Monadic Decomposition in Integer Linear Arithmetic
Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, (E-pub ahead of print) International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, p. 122-140 19 p. (Lecture Notes in Computer Science; vol. 12166).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

63 Downloads (Pure)