Languages of Nested Trees
No abstract available.
Related papers
- Nesting of Reducible and Irreducible Loops TOPLAS 1997
- Software model checking using languages of nested trees TOPLAS 2011
- Red-black trees with types JFP 2001
- The Bird Tree JFP 2009
- On loops, dominators, and dominance frontiers TOPLAS 2002
- Parallelization of Divide-and-Conquer by Translation to Nested Loops JFP 1999
- Lazy tree splitting JFP 2012
- Generation of Minimum Tree-Like Witnesses for Existential CTL TACAS 2018