×

Visibly pushdown languages. (English) Zbl 1192.68396

Proceedings of the 36th annual ACM symposium on theory of computing (STOC 2004), Chicago, IL, USA, June 13 - 15, 2004. New York, NY: ACM Press (ISBN 1-58113-852-0). 202-211, electronic only (2004).

MSC:

68Q42 Grammars and rewriting systems
68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata

Software:

Bebop; VPAlib
PDFBibTeX XMLCite
Full Text: DOI Link