×

zbMATH — the first resource for mathematics

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
PDF BibTeX XML Cite
Full Text: DOI