100 citations · 314 across the 34 of their papers we have counts for
Showing 2011 · cs.FLShow all
2 papers · 2 filters
cs.FL2011
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh +2
Motivated by the successful application of the theory of regular languages to formal verification of finite-state systems, there is a renewed interest in developing a theory of ana…
cs.FL2011★ 3 cited
Streaming Tree Transducers
Rajeev Alur, Loris D'Antoni
Theory of tree transducers provides a foundation for understanding expressiveness and complexity of analysis problems for specification languages for transforming hierarchically st…