Sfoglia per Autore
Programming Languages shouldn't be "too Natural"
2015-01-01 Mandrioli, Dino; Pradella, Matteo
Parallel parsing made practical
2015-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
First-Order Logic Definability of Free Languages
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Efficient analysis of event processing applications
2015-01-01 Cugola, Gianpaolo; Margara, Alessandro; Pezze', Mauro; Pradella, Matteo
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Locally Chain-Parsable Languages
2015-01-01 CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
ContextErlang: A language for distributed context-aware self-adaptive applications
2015-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Toward a theory of input-driven locally parsable languages
2017-01-01 CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
Higher-order operator precedence languages
2017-01-01 Reghizzi, Stefano Crespi; Pradella, Matteo
Weighted Operator Precedence Languages
2017-01-01 Droste, Manfred; Duck, Stefan; Mandrioli, Dino; Pradella, Matteo
Generalizing input-driven languages: Theoretical and practical benefits
2018-01-01 Mandrioli, D.; Pradella, M.
Temporal Logic and Model Checking for Operator Precedence Languages
2018-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Word- and Tree-based Temporal Logics for Operator Precedence Languages
2019-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Operator precedence temporal logic and model checking
2020-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
Linear temporal logics for structured context-free languages
2020-01-01 Chiari, M.; Bergamaschi, D.; Mandrioli, D.; Pradella, M.
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages
2020-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.
Beyond operator-precedence grammars and languages
2020-01-01 Crespi Reghizzi, S.; Pradella, M.
Model-Checking Structured Context-Free Languages
2021-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Verification of Programs with Exceptions Through Operator Precedence Automata
2021-01-01 Pontiggia, F.; Chiari, M.; Pradella, M.
Weighted operator precedence languages
2022-01-01 Droste, M.; Duck, S.; Mandrioli, D.; Pradella, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile