A type system for regular expressions
Eric Spishak, Werner Dietl, Michael D. Ernst · 2012
Regular expressions are used to match and extract text. It is easy for developers to make syntactic mistakes when writing regular expressions, because regular expressions are often complex and different across programming languages. Such errors result in exceptions at run time, and there is currently no static support for preventing them.