28 citations · 115 across the 21 of their papers we have counts for
23 papers
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…
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…
Static Analysis of Infrastructure as Code: a Survey
Michele Chiari, Michele De Pascalis, Matteo Pradella
The increasing use of Infrastructure as Code (IaC) in DevOps leads to benefits in speed and reliability of deployment operation, but extends to infrastructure challenges typical of…
A First-Order Complete Temporal Logic for Structured Context-Free Languages
Michele Chiari, Dino Mandrioli, Matteo Pradella
The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of…
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi
A classic result in formal language theory is the equivalence among non-counting, or aperiodic, regular languages, and languages defined through star-free regular expressions, or f…
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages
Michele Chiari, Dino Mandrioli, Matteo Pradella
The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of…