Author:
Crespi Reghizzi Stefano,Mandrioli Dino
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: STOC: ACM Symposium on Theory of Computing, STOC (2004)
2. Alur, R., Madhusudan, P.: Adding nesting structure to words. J. ACM 56(3) (2009)
3. Lecture Notes in Computer Science;J. Berstel,2002
4. Lecture Notes in Computer Science;D. Caucal,2006
5. Crespi Reghizzi, S.: The mechanical acquisition of precedence grammars. PhD thesis, University of California UCLA, School of Engineering (1970)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Input-driven regular expressions (vision paper);Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24
2. State complexity of operations on input-driven pushdown automata;Journal of Computer and System Sciences;2017-06
3. Complexity of input-driven pushdown automata;ACM SIGACT News;2014-06-09
4. Incremental reachability checking of KernelC programs using matching logic;Companion Proceedings of the 36th International Conference on Software Engineering;2014-05-31
5. Input-Driven Pushdown Automata with Limited Nondeterminism;Developments in Language Theory;2014