Visibly Pushdown Languages (2003)
Cached
Download Links
- [www-faculty.cs.uiuc.edu]
- [www.cis.upenn.edu]
- [www.cis.upenn.edu]
- [www.cis.upenn.edu]
- DBLP
Other Repositories/Bibliography
by
Rajeev Alur
,
P. Madhusudan
| Citations: | 99 - 14 self |
BibTeX
@MISC{Alur03visiblypushdown,
author = {Rajeev Alur and P. Madhusudan},
title = {Visibly Pushdown Languages},
year = {2003}
}
Years of Citing Articles
OpenURL
Abstract
this paper, we propose visibly pushdown languages as the answer with desirable closure properties, tractable decision problems, multiple equivalentcharacterizations, and adequate for formulating program analysis questions







