• Synopsis
    Libraries to specify the structure and semantics of regular expressions
  • Category
    Parsing
  • Versions
    4.1.0 4.0.0 3.0.0 1.1.0 1.0.0
  • Dependencies
    base  >= 3.2.0, < 4.0.0
  • Author
    Michael Hanus <mh@informatik.uni-kiel.de>
  • Exported modules
    RegExpSem RegExp RegExpEff
  • 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 Jan 29 16:45:56 2024 (UTC)
Succesfully tested at Apr 24 04:42:53 2024

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 some operations like match and capture for regular expression. Since the implementation is high-level but quite inefficient, it can only be used for smaller string matching.
  • RegExpEff: This library defines a structure of regular expressions and some efficient operations like match and capture for larger regular expression matching.

Note that the libraries RegExp and RegExpEff are useful in combination with the Curry preprocessor to translate integrated code in the form of POSIX extended regular expressions into Curry programs. See example program TestRegExpCode.curry in directory test or the examples in the package of the Curry preprocessor.



Download

Checkout with CPM:
cypm checkout regexp 4.1.0
Package source:
regexp-4.1.0.tar.gz [browse]
Source repository:
https://github.com/curry-packages/regexp.git