Sfoglia per Relatore
Mostrati risultati da 1 a 17 di 17
A syntax directed approach to exploit parallelism in XML query languages
2014/2015 BASSI, PAOLO
Characterizing non counting operator precedence languages in a locally testable manner
2021/2022 CORBETTA, GIORGIO
Counterexample extraction in a context-free model checker
2021/2022 SCHERINI, GIUSEPPE
Engineering a runtime system for AQL
2016/2017 MORCIANO, ANDREA
First class continuations on the Java virtual machine : an implementation within the Kawa scheme compiler
2014/2015 BERNARDINI, ANDREA
Floyd languages for infinite words
2010/2011 PANELLA, FEDERICA
Formal verification of infrastructure as code
2020/2021 De PASCALIS, MICHELE
GoPapageno : un generatore di analizzatori sintattici paralleli di nuova generazione
2016/2017 GUIDI, SIMONE
ISAAC. Integrated system application and authorization co-design
2012/2013 MARTINOIA, DIEGO
On randomised strategies in the lambda-calculus
2017/2018 VANONI, GABRIELE
Operator precedence languages: theory and applications
PANELLA, FEDERICA
Parallel XPath query evaluator
2018/2019 MARZI, LUCA
POMC. A model checking tool for operator precedence languages on omega-words
2019/2020 PONTIGGIA, FRANCESCO
POMC. Toward a model checking tool for operator precedence languages
2019/2020 Bergamaschi, Davide
R++ : an object oriented DSL for motion controllers and its compiler
2017/2018 NARDO, LORIS
Toward a more expressive pattern matching in Haskell
2016/2017 SERVADEI, GIACOMO
Verification and synthesis of Infrastructure-as-Code through satisfiability modulo theories
2021/2022 Franchini, Andrea
Mostrati risultati da 1 a 17 di 17
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili