177
Voted
LICS
2007
IEEE
16 years 15 hour ago
2007
IEEE
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 ...