A Term Pattern-Match Compiler Inspired by Finite Automata Theory
No abstract available.
Related papers
- One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution CGO 2024
- HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism OOPSLA 2024
- Exploring different automata representations for efficient regular expression matching on GPUs PPoPP 2013
- Software-hardware codesign for efficient in-memory regular pattern matching PLDI 2022
- Regular Expression Matching using Bit Vector Automata OOPSLA 2023
- Regular expression pattern matching for XML JFP 2003
- Regular expression pattern matching for XML POPL 2001
- Alternating Automata Modulo First Order Theories CAV 2019