×

zbMATH — the first resource for mathematics

Model-checking parse trees. (English) Zbl 1366.68165
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 153-162 (2013).

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
03B70 Logic in computer science
68Q25 Analysis of algorithms and problem complexity
68Q42 Grammars and rewriting systems
PDF BibTeX XML Cite
Full Text: DOI