A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars-Reference-Cited by-同舟云学术

A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars

Published:2018 Issue: Volume: Page:177-195
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Coglio Alessandro

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03592-1_10

Reference27 articles.

1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson, London (2007)

2. Avigad, J., Zach, R.: The epsilon calculus. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, summer 2016 edn. Metaphysics Research Lab, Stanford University (2016). https://plato.stanford.edu/archives/sum2016/entries/epsilon-calculus/

3. Backus, J.W., et al.: Report on the algorithmic language ALGOL 60. Commun. ACM 3(5), 299–314 (1960)

4. Barthwal, A.: A formalisation of the theory of context-free languages in higher-order logic. Ph.D. thesis. The Australian National University (2010)

5. Lecture Notes in Computer Science;A Barthwal,2009

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java;Electronic Proceedings in Theoretical Computer Science;2022-05-24

2. Attacking Websites Using HTTP Request Smuggling: Empirical Testing of Servers and Proxies;2021 IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC);2021-10

3. Accessible Formal Methods for Verified Parser Development;2021 IEEE Security and Privacy Workshops (SPW);2021-05

4. A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java;Electronic Proceedings in Theoretical Computer Science;2018-10-29