Visibly pushdown languages

By Rajeev Alur, Parthasarathy Madhusudan. Symposium on the Theory of Computing, 2004

608 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/7d9dbc41b320b1e624c1fd3ce3a54b2ffad03b16