Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ï¬nite model theory and proï...
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
This article describes a ï¬nite-state cascade for the extraction of person names in texts in French. We extract these proper names in order to categorize and to cluster texts with...
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...
Decision procedures have long been a ï¬xture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...