Practical, general parser combinators

A Izmaylova, A Afroozeh, T Storm - … of the 2016 ACM SIGPLAN Workshop …, 2016 - dl.acm.org
Parser combinators are a popular approach to parsing where context-free grammars are
represented as executable code. However, conventional parser combinators do not support …

Certified context-free parsing: A formalisation of Valiant's algorithm in Agda

JP Bernardy, P Jansson - Logical Methods in Computer …, 2016 - lmcs.episciences.org
Valiant (1975) has developed an algorithm for recognition of context free languages. As of
today, it remains the algorithm with the best asymptotic complexity for this purpose. In this …

[HTML][HTML] Derivation representation using binary subtree sets

E Scott, A Johnstone, LT Van Binsbergen - Science of Computer …, 2019 - Elsevier
This paper introduces sets of binary subtree representations as an alternative to shared
packed parse forests as the output of a generalised parser, and shows how these may be …

Purely functional GLL parsing

LT van Binsbergen, E Scott, A Johnstone - Journal of Computer Languages, 2020 - Elsevier
Generalised parsing has become increasingly important in the context of software language
design and several compiler generators and language workbenches have adopted …

GLL parsing with flexible combinators

LT van Binsbergen, E Scott, A Johnstone - Proceedings of the 11th ACM …, 2018 - dl.acm.org
At SLE in 2014, Ridge presented the P3 combinator library with which parsers can be
developed for left-recursive, non-deterministic and ambiguous grammars. A combinator …

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

A Coglio - Verified Software. Theories, Tools, and Experiments …, 2018 - Springer
Abstract Augmented Backus-Naur Form (ABNF) is a standardized formal grammar notation
used in several Internet syntax specifications. This paper describes (i) a formalization of the …

Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals

LT van Binsbergen, D Frolich - arxiv preprint arxiv:2303.08044, 2023 - arxiv.org
Parser generators and parser combinator libraries are the most popular tools for producing
parsers. Parser combinators use the host language to provide reusable components in the …

[PDF][PDF] Practical general top-down parsers

A Afroozeh, A Izmaylova - 2019 - core.ac.uk
Parsing is the process of analyzing a sequence of symbols and producing a hierarchical
structure. Parsing is a common task in many applications, ranging from analyzing network …

A new view on parser combinators

P Koopman, R Plasmeijer - Proceedings of the 31st Symposium on …, 2019 - dl.acm.org
Parser combinators offer a concise and fast way to produce reasonably efficient parsers. The
combinator libraries themselves can be small and provide an elegant application of …