Verified and Efficient Matching of Regular Expressions with Lookaround.

Agnishom Chattopadhyay, Angela W. Li, Konstantinos Mamouras

Browse the full CPP paper archive.