Darius’s #PEG parser example compiler for assignment statements with infix expressions to a notional assembly language in 32 lines of code using Parson. #small-is-beautiful
on 02023-10-22“A Verified Packrat Parser Interpreter for Parsing Expression Grammars” #PEG #parsing #paper from 02020 on parsers that provide “an effective proof certificate for correct parsing and ensure that parsing properties including soundness and completeness are maintained”
on 02021-02-20“Recognising and Generating Terms using Derivatives of Parsing Expression Grammars” by Tony Garnock-Jones from 02012, covering automatic sentence generation. #PEG #parsing #paper
on 02021-02-20“Pika parsing: reformulating packrat parsing as a dynamic programming algorithm solves the left recursion and error recovery problems” #PEG #parsing #paper #bigiftrue from 02020
on 02021-02-20“Syntax error recovery in parsing expression grammars” #PEG #parsing #paper from 02018
on 02021-02-20“For and against PEGs” #PEG #parsing #paper from 02018
on 02021-02-20“Parsing Expression Grammars Made Practical”, 02015 #paper on practical #PEG #parsing using their library "Autumn"
on 02021-02-20Darius Bacon’s minimal #PEG #parsing system, minimized from his full-featured system Parson
on 02021-01-15Another inspiring #incremental #PEG #parsing sketch by Darius Bacon. #algorithms
on 02021-01-15Darius’s whack at #incremental #parsing with a #PEG
on 02021-01-13