Home » Research » Research outputs » Formalising Boost POSIX Regular Expression Matching

Formalising Boost POSIX Regular Expression Matching

2018

  • Authors:
    Brink van der Merwe , Martin Berglund , Willem Bester

    Publication date:
    2018

    Institution:
    Stellenbosch University

    Output type:
    Conference proceedings

    Abstract:

    Whereas Perl-compatible regular expression matchers typically exhibit some variation of leftmost-greedy semantics, those conforming to the posix standard are prescribed leftmost-longest semantics. However, the posix standard leaves some room for interpretation, and Fowler and Kuklewicz have done experimental work to confirm differences between various posix matchers. The Boost library has an interesting take on the posix standard, where it maximises the leftmost match not with respect to subexpressions of the regular expression pattern, but rather, with respect to capturing groups. In our work, we provide the first formalisation of Boost semantics, and we analyse the complexity of regular expression matching when using Boost semantics.

    Document file: