11 search results - page 3 / 3 » Verification and semantic parallelization of goal-driven aut... |
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...