Check out the new USENIX Web site.

next up previous
Next: Expressiveness Up: Text Constraints Previous: Concatenation and Background

Definitions and Constraint Systems

A constraint definition assigns a name to the result of a constraint expression:

GettysburgAddress =
    starts with
        "Four score and seven years ago",
    ends with
        "shall not perish from the earth"

Region sets named by a constraint definition can be used in the same way as region sets named by a parser, as in the example Sentence at start of GettysburgAddress. A constraint system is a set of constraint definitions separated by semicolons.



Robert C. Miller and Brad A. Myers
Mon Apr 26 11:34:19 EDT 1999