Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics.
Dan MoseleyMario NishioJose Perez RodriguezOlli SaarikiviStephen ToubMargus VeanesTiki WanEric XuPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- real world
- synthetic data
- wide range
- data sets
- case study
- search algorithm
- formal semantics
- logic programming
- matching algorithm
- operational semantics
- search space
- graph matching
- semantic information
- image matching
- database
- data mining
- keypoints
- matching process
- affine invariant
- constraint propagation
- feature points
- matching scheme
- ontology matching