Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Game Programming as a Non-Threatening Introduction to Functional Languages
2009-01-01 Maggiore, Giuseppe; Costantini, Giulia; Cortesi, Agostino
Learning by Fixing and Extending Games
2009-01-01 Costantini, Giulia; Maggiore, Giuseppe; 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
A Survey on Product Operators in Abstract Interpretation
2013-01-01 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software
2013-01-01 Costantini, Giulia; Ferrara, P.; Maggiore, G.; Cortesi, Agostino
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Game Programming as a Non-Threatening Introduction to Functional Languages | 1-gen-2009 | MAGGIORE, GIUSEPPECOSTANTINI, GIULIACORTESI, Agostino | 4.1 Articolo in Atti di convegno | - | |
Learning by Fixing and Extending Games | 1-gen-2009 | COSTANTINI, GIULIAMAGGIORE, GIUSEPPECORTESI, Agostino | 4.1 Articolo in Atti di convegno | - | |
Static Analysis of String Values | 1-gen-2011 | COSTANTINI, GIULIAFERRARA P.CORTESI, Agostino | 4.1 Articolo in Atti di convegno | - | |
Linear approximation of continuous systems with Trapezoid Step Functions | 1-gen-2012 | COSTANTINI, GIULIAFERRARA P.CORTESI, Agostino | 4.1 Articolo in Atti di convegno | - | |
A Survey on Product Operators in Abstract Interpretation | 1-gen-2013 | CORTESI, AgostinoCOSTANTINI, GIULIAP. FERRARA | 2.1 Articolo su rivista | - | |
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software | 1-gen-2013 | COSTANTINI, GIULIAFerrara P.CORTESI, Agostino + | 4.1 Articolo in Atti di convegno | - |
Mostrati risultati da 1 a 6 di 6
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