Sciweavers

71
Voted
CAV
2006
Springer
129views Hardware» more  CAV 2006»
15 years 1 months ago
Languages of Nested Trees
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan