activity
20082023
most citedStatic Analysis of Infrastructure as Code: a Survey

28 citations · 115 across the 21 of their papers we have counts for

collaborators
Showing cs.FLShow all

9 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.FL2020★ 3 cited

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…

cs.FL2017

Generalizing input-driven languages: theoretical and practical benefits

Dino Mandrioli, Matteo Pradella

Regular languages (RL) are the simplest family in Chomsky's hierarchy. Thanks to their simplicity they enjoy various nice algebraic and logic properties that have been successfully…

cs.FL2017★ 2 cited

Higher-Order Operator Precedence Languages

Stefano Crespi Reghizzi, Matteo Pradella

Floyd's Operator Precedence (OP) languages are a deterministic context-free family having many desirable properties. They are locally and parallely parsable, and languages having a…

cs.FL2017

Weighted Operator Precedence Languages

Manfred Droste, Stefan Dück, Dino Mandrioli +1

In the last years renewed investigation of operator precedence languages (OPL) led to discover important properties thereof: OPL are closed with respect to all major operations, ar…

cs.FL2013

Operator Precedence ω-languages

Federica Panella, Matteo Pradella, Dino Mandrioli +1

ω-languages are becoming more and more relevant nowadays when most applications are 'ever-running'. Recent literature, mainly under the motivation of widening the application of mo…