Sfoglia per Autore
Mostrati risultati da 1 a 7 di 7
Learning by Fixing and Extending Games
2009-01-01 Costantini, Giulia; Maggiore, Giuseppe; Cortesi, Agostino
Game Programming as a Non-Threatening Introduction to Functional Languages
2009-01-01 Maggiore, Giuseppe; Costantini, Giulia; Cortesi, Agostino
Static Analysis of String Values
2011-01-01 Costantini, Giulia; Ferrara, P.; Cortesi, Agostino
Linear approximation of continuous systems with Trapezoid Step Functions
2012-01-01 Costantini, Giulia; Ferrara, P.; Cortesi, Agostino
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software
2013-01-01 Costantini, Giulia; Ferrara, P.; Maggiore, G.; Cortesi, Agostino
A Survey on Product Operators in Abstract Interpretation
2013-01-01 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
Lexical and numerical domains for abstract interpretation
2013-12-13 Costantini, Giulia
Mostrati risultati da 1 a 7 di 7
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