100 citations · 314 across the 34 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
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…