2 citations · 3 across the 7 of their papers we have counts for
Showing 2017 · cs.LOShow all
3 papers · 2 filters
cs.LO2017
Parameterized Local Lexing
Steven Obua
Building on the concept of local lexing the concept of parameterized local lexing is introduced.
cs.LO2017★ 1 cited
Bootstrapping LCF Declarative Proofs
Phil Scott, Steven Obua, Jacques Fleuriot
Suppose we have been sold on the idea that formalised proofs in an LCF system should resemble their written counterparts, and so consist of formulas that only provide signposts for…
cs.LO2017
Local Lexing
Steven Obua, Phil Scott, Jacques Fleuriot
We introduce a novel parsing concept called local lexing. It integrates the classically separated stages of lexing and parsing by allowing lexing to be dependent upon the parsing p…