Author:
Sulzmann Martin,Thiemann Peter
Publisher
Springer International Publishing
Reference13 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co. Inc., Boston (1986)
2. Brandt, M., Henglein, F.: Coinductive axiomatization of recursive type equality and subtyping. Fundam. Inf. 33(4), 309–338 (1998)
3. Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481–494 (1964)
4. Lecture Notes in Computer Science;A Frisch,2004
5. Lecture Notes in Computer Science;C Grabmayer,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type-based Termination Analysis for Parsing Expression Grammars;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
2. Towards Typed Semantics for Parsing Expression Grammars;Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019;2019