Author:
Watt Conrad,Rao Xiaojia,Pichon-Pharabod Jean,Bodin Martin,Gardner Philippa
Publisher
Springer International Publishing
Reference46 articles.
1. Allais, G.: Parseque (2017). https://github.com/gallais/parseque
2. Allais, G.: Agdarsec - total parser combinators. In: JFLA 2018 (2018)
3. Lecture Notes in Computer Science;M Batty,2015
4. Blazy, S., Leroy, X.: Mechanized semantics for the Clight subset of the C language. J. Autom. Reason. 43(3), 263–288 (2009). https://doi.org/10.1007/s10817-009-9148-3. https://hal.inria.fr/inria-00352524
5. Bodin, M., et al.: A trusted mechanised JavaScript specification. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, pp. 87–100. Association for Computing Machinery, New York (2014). https://doi.org/10.1145/2535838.2535876
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献