Visibly pushdown languages

Keyphrases

• Access Control 33%
• Binary Matching 33%
• Closure Properties 33%
• Context-free 33%
• Context-free Languages 66%
• Control Properties 33%
• Decision Procedure 33%
• EXPTIME-complete 33%
• Finite Words 33%
• Infinite Words 33%
• Input Symbol 33%
• Intersection over Union 33%
• Kleene 33%
• Logical Characterization 33%
• Non-deterministic 33%
• Program Analysis 66%
• Pushdown Automata 33%
• Recursive Programs 33%
• Regular Languages 33%
• Regular Tree 33%
• Regular Tree Languages 33%
• Second-order Theory 33%
• Stack Inspection 33%
• Undecidable 33%
• Visibly Pushdown Automata 100%
• Visibly Pushdown Languages 100%

Computer Science

• Access Control 25%
• Closure Property 25%
• context-free language 50%
• Decision Procedure 25%
• Input Symbol 25%
• Postcondition 25%
• Precondition 25%
• Program Analysis 50%
• Pushdown Automaton 100%
• Recursive Program 25%
• Regular Language 25%
• Renaming 25%