regexp-1.1.0 ------------ Version 1.1.0 Author Michael Hanus Synopsis Library to specify the semantics of regular expressions Category Parsing Dependencies Compiler compatibility pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Description This package contains a library which specifies the semantics of regular expressions and regular expression matching in a high-level manner via non-deterministic operations. This library might be useful as an oracle to test more efficient regular expression matchers. Furthermore, there is also a library which is used by the Curry preprocessor to translate regular expression in POSIX syntax occurring as integrated code in Curry programs. Exported modules RegExpSem RegExp Test suite Directory examples Test modules ABC Test suite Directory test Test modules TestRegExp Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/regexp.git@v1.1.0 License BSD-3-Clause License file LICENSE