1. 10
    Verified and Efficient Matching of Regular Expressions with Lookaround formalmethods github.com/agnishom
    agnishom avatar authored by agnishom 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments

  1.  

    1. 3
      andyc avatar andyc 1 month ago

      Cool! In case anyone needs a reminder

      https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Regular_expressions/Lookahead_assertion

      (?=pattern)
(?!pattern)

      I have seen these used in say SublimeText syntax definitions a lot

      1. 2
        agnishom avatar agnishom 1 month ago

        There are some related software artifacts which solve the problem of matching lookaround expressions efficiently:

        All of this is from 2024