Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:intro [2008/06/25 10:32] vkuncak |
sav08:intro [2008/06/25 10:34] vkuncak |
||
|---|---|---|---|
| Line 18: | Line 18: | ||
| * Thibaud Hottelier: Counterexample Analysis in Valigator | * Thibaud Hottelier: Counterexample Analysis in Valigator | ||
| * David Joaquim: SAT Solver | * David Joaquim: SAT Solver | ||
| - | * Guiliano Losa: Simple constant propagation for the simple programming language | + | * Giuliano Losa: Simple constant propagation for the simple programming language |
| * Stephane Rabie: Term Algebra Quantifier Elimination | * Stephane Rabie: Term Algebra Quantifier Elimination | ||
| * Damien Zufferey: Static Analysis on a Functional Subset of Scala | * Damien Zufferey: Static Analysis on a Functional Subset of Scala | ||