Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
variable_range_analysis [2007/06/21 12:35] simon.blanchoud |
variable_range_analysis [2007/06/21 12:36] simon.blanchoud |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| * [[http://portal.acm.org/citation.cfm?id=512973|Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints]] | * [[http://portal.acm.org/citation.cfm?id=512973|Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints]] | ||
| - | Implemented in OCaml as we have in mind to get integrated into Jahob to be able to analyse real Java code. | + | Implemented in OCaml as we have in mind to get integrated into [[http://lara.epfl.ch/dokuwiki/doku.php?id=jahob_system|Jahob]] to be able to analyse real Java code. |
| ===== Goal ===== | ===== Goal ===== | ||