Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Practical, general parser combinators
Parser combinators are a popular approach to parsing where context-free grammars are
represented as executable code. However, conventional parser combinators do not support …
represented as executable code. However, conventional parser combinators do not support …
Certified context-free parsing: A formalisation of Valiant's algorithm in Agda
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 …
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 …
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 …
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 …
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 …
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
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 …
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 …
structure. Parsing is a common task in many applications, ranging from analyzing network …
A new view on parser combinators
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 …
combinator libraries themselves can be small and provide an elegant application of …