1 citations · 2 across the 4 of their papers we have counts for
4 papers
Programming for All: Understanding the Nature of Programs
Andrej Brodnik, Andrew Csizmadia, Gerald Futschek +4
Computer programs are part of our daily life, we use them, we provide them with data, they support our decisions, they help us remember, they control machines, etc. Programs are ma…
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…
Logic Characterization of Floyd Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to appl…
Precedence Automata and Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the well-know…