Compilation of Generic Regular Path Expressions Using C++ Class Templates
Abstract elided by the publisher.
Related papers
- Fast Template-Based Code Generation for MLIR CC 2024
- Parametric regular path queries PLDI 2004
- Statically Checkable Pattern Abstractions ICFP 1997
- Stochastic Omega-Regular Verification and Control with Supermartingales CAV 2024
- Summarizing Graphs by Regular Expressions POPL 1983
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- Concepts: linguistic support for generic programming in C++ OOPSLA 2006
- A Description of Path Expressions by Petri Nets POPL 1975