Uploaded at Apr 1 12:03:39 2020 (UTC)

Curry Package regexp

regexp: Regular expression matching

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.

Download

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