Research output per year
Research output per year
Search results
-
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 AccessFile51 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 -
GLL parsing with flexible combinators
van Binsbergen, L. T., Scott, E. & Johnstone, A., Oct 2018, p. 16-28. 13 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile6417 Downloads (Pure)