Visibly pushdown languages (2004)

by Rajeev Alur , Viraj Kumar , P. Madhusudan , Mahesh Viswanathan
Citations:132 - 15 self

Documents Related by Co-Citation

74 Adding nesting structure to words – Rajeev Alur, P. Madhusudan - 2006
3836 Introduction to automata theory, languages, and computation – J E Hopcroft, R Motwani, J D Ullman - 2001
54 A Temporal Logic of Nested Calls and Returns – Rajeev Alur, Kousha Etessami, P. Madhusudan - 2004
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
510 Learning regular sets from queries and counterexamples – Dana Angluin - 1987
370 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
478 Automata on infinite objects – W Thomas - 1990
1107 Temporal and modal logic – E. Allen Emerson - 1995
501 Symbolic Model Checking: An Approach to the State Explosion Problem – K L McMillan - 1993