Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs
 

Summary: Streaming Transducers for Algorithmic Verification
of Single-pass List-processing Programs
Rajeev Alur
University of Pennsylvania
alur@cis.upenn.edu
Pavol Cern´y
IST Austria
pavol.cerny@ist.ac.at
Abstract
We introduce streaming data string transducers that map input data
strings to output data strings in a single left-to-right pass in linear
time. Data strings are (unbounded) sequences of data values, tagged
with symbols from a finite set, over a potentially infinite data do-
main that supports only the operations of equality and ordering. The
transducer uses a finite set of states, a finite set of variables ranging
over the data domain, and a finite set of variables ranging over data
strings. At every step, it can make decisions based on the next in-
put symbol, updating its state, remembering the input data value in
its data variables, and updating data-string variables by concatenat-
ing data-string variables and new symbols formed from data vari-

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences