2 citations · 2 across the 2 of their papers we have counts for
2 papers
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…
cs.SI2016★ 2 cited
Social Network Processes in the Isabelle and Coq Theorem Proving Communities
Jacques Fleuriot, Steven Obua, Phil Scott
We identify the main actors in the Isabelle and Coq communities and describe how they affect and influence their peers. This work explores selected foundations of social networking…