equal
deleted
inserted
replaced
289 %See \cite{BERGLUND2022} for a survey |
289 %See \cite{BERGLUND2022} for a survey |
290 %of these works and comparison between different |
290 %of these works and comparison between different |
291 %flavours of back-references syntax (e.g. whether references can be circular, |
291 %flavours of back-references syntax (e.g. whether references can be circular, |
292 %can labels be repeated etc.). |
292 %can labels be repeated etc.). |
293 |
293 |
|
294 The recently published work on formally verified lexer |
|
295 \cite{Margus2023PLDI} by Moseley et al. |
|
296 moves a big step forward in practical performance--their lexer can compete |
|
297 with unverified commercial regex engines like those in Java, Python and etc. |
|
298 and supports lookaheads. |
|
299 To reach their speed on larger datasets like \cite{TwainRegex}, one has to |
|
300 incorporate many fine-tunings and one of the first modifications needed would |
|
301 be to drop whole-string lexing but only extract the submatch needed by the user. |
294 |
302 |
295 |
303 |
296 |
304 |
297 |
305 |
298 |
306 |