Visibly pushdown languages (2004)

by Rajeev Alur , Viraj Kumar , P. Madhusudan , Mahesh Viswanathan
Citations:99 - 14 self

Documents Related by Co-Citation

42 Adding nesting structure to words – Rajeev Alur, P. Madhusudan - 2006
46 A Temporal Logic of Nested Calls and Returns – Rajeev Alur, Kousha Etessami, P. Madhusudan - 2004
17 Visibly pushdown games – Christof Löding, P. Madhusudan, Olivier Serre - 2004
239 Reachability Analysis of Pushdown Automata: Application to Model-Checking – Ahmed Bouajjani, Javier Esparza, Oded Maler - 1997
64 Validating Streaming XML Documents – Luc Segoufin, Victor Vianu - 2002
194 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
65 Tree Automata With One Memory, Set Constraints and Cryptographic Protocols – Hubert Comon
39 Equality and disequality constraints on direct subterms in tree automata – B Bogaert, S Tison - 1992
123 Tree automata techniques and applications – Hubert Comon, Max Dauchet, Florent Jacquemard, Denis Lugiez, Sophie Tison, Marc Tommasi - 1997
320 Interprocedural DataflowAnalysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
3377 Introduction to Automata Theory, Languages, and Computation – J Hopcroft, J Ullman - 1979
10 A fixpoint calculus for local and global program flows, in – R Alur, S Chaudhuri, P Madhusudan - 2006
90 Analysis of Recursive State Machines – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2001
16 Tree automata techniques and applications. http: //www.grappa.univ-lille3.fr/tata – H Comon, M Dauchet, R Gilleron, F Jacquemard, C Löding, D Lugiez, S Tison, M Tommasi - 2007
30 Querying unranked trees with stepwise tree automata – Julien Carme, Joachim Niehren, Marc Tommasi - 2004
14 Verification of control flow based security policies – T Jensen, D L Métayer, T Thorn - 1999
9 Tree pushdown automata – K M Schimpf, J Gallier
2 Visibly pushdown tree languages. Available on: http://www.cis.upenn.edu/ ∼ swarat/pubs/vptl.ps – R Alur, S Chaudhuri, P Madhusudan - 2006
4 Rewrite systems, chapter Handbook – N Dershowitz, J-P Jouannaud - 1990