A type system for regular expressions

E Spishak, W Dietl, MD Ernst - Proceedings of the 14th Workshop on …, 2012 - dl.acm.org
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 …

Automated verification of design adherence in software implementation

R Flobakk - 2007 - ntnuopen.ntnu.no
… The access rules are defined using XML, and Macker uses compiled classes to check if these
… The macker.xml file contains rules for a project. Although it is possible to explicitly refer to …