Synopsis
Library to specify the semantics of regular expressions
Category
Parsing
Versions
4.1.0 4.0.0 3.0.0 1.1.0 1.0.0
Dependencies
Author
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0
Exported modules
RegExpSem RegExp
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.
License
BSD-3-Clause / License file
Further infos:

Uploaded at Nov 29 11:23:52 2020 (UTC)

Succesfully tested at Feb 15 05:36:30 2023

Curry Package regexp

regexp: Regular expression matching

This package contains libraries dealing with regular expressions:

RegExpSem: This library specifies the semantics of regular expressions and regular expression matching in a high-level manner via non-deterministic operations. It might be useful as an oracle to test more efficient regular expression matchers.
RegExp: This library defines a structure of regular expressions and a simple match operation for regular expression. This library is used by the Curry preprocessor to translate integrated code in the form of POSIX extended regular expressions into Curry programs.

Checkout with CPM:: cypm checkout regexp 1.1.0
Package source:: regexp-1.1.0.tar.gz [browse]
Source repository:: https://git.ps.informatik.uni-kiel.de/curry-packages/regexp.git