56 citations · 86 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023
Cyclic Operator Precedence Grammars for Parallel Parsing
Michele Chiari, Dino Mandrioli, Matteo Pradella
Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers -- playing the role of pare…
cs.LO2023
Lecture Notes on Monadic First- and Second-Order Logic on Strings
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti +2
These notes present the essentials of first- and second-order monadic logics on strings with introductory purposes. We discuss Monadic First-Order logic and show that it is strictl…