TY  - RPRT
TI  - Static Analysis for Regular Expression Exponential Runtime via Substructural Logics (Extended)
AU  - Asiri Rathnayake
AU  - Hayo Thielecke
PY  - 2017
UR  - https://arxiv.org/abs/1405.7058
ID  - 1405.7058
ER  -