Transcription of DReX: A Declarative Language for Efficiently Evaluating ...
{{id}} {{{paragraph}}}
Example: dental hygienist
DReX: A Declarative Language for Efficiently Evaluating ...
DReX: A Declarative Language for EfficientlyEvaluating Regular String Transformations Rajeev AlurLoris D AntoniMukund RaghothamanUniversity of Pennsylvania{alur, lorisdan, presentDReX, a Declarative Language that can express allregular string-to-string transformations, and can still be efficientlyevaluated. The class of regular string transformations has a robusttheoretical foundation including multiple characterizations, closureproperties, and decidable analysis questions, and admits a numberof string operations such as insertion, deletion, substring swap,and reversal.}
Programs that transform plain text are ubiquitous and used for many ... that are enabled by the properties of the underlying transducer model. Due to the focus on analyzability, expressiveness is a limiting ... joint, making the complementation of the domain of funnecessary. Similarly, for the operator combine(f;g), we require the domains
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: