240 citations · 362 across the 9 of their papers we have counts for
1 paper · 1 filter
Rajeev Alur, Marcelo Arenas, Pablo Barcelo +3
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of…