COSTANTINI, GIULIA
COSTANTINI, GIULIA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.0 secondi).
A Survey on Product Operators in Abstract Interpretation
2013-01-01 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
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
Linear approximation of continuous systems with Trapezoid Step Functions
2012-01-01 Costantini, Giulia; Ferrara, P.; Cortesi, Agostino
Static Analysis of String Values
2011-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
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
A Survey on Product Operators in Abstract Interpretation | 1-gen-2013 | CORTESI, AgostinoCOSTANTINI, GIULIAP. FERRARA | 2.1 Articolo su rivista | - | |
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 | - | |
Linear approximation of continuous systems with Trapezoid Step Functions | 1-gen-2012 | COSTANTINI, GIULIAFERRARA P.CORTESI, 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 | - | |
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 | - |