|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Fixpoint Computations with Numerical Acceleration Methods |
Bouissou, Olivier |
2010 |
267 | 1 |
p. 29-42 14 p. |
artikel |
|
| 2 | A Modular Static Analysis Approach to Affine Loop Invariants Detection |
Ancourt, Corinne |
2010 |
267 | 1 |
p. 3-16 14 p. |
artikel |
|
| 3 | A Note on the Inversion Join for Polyhedral Analysis |
Simon, Axel |
2010 |
267 | 1 |
p. 115-126 12 p. |
artikel |
|
| 4 | Concrete Memory Models for Shape Analysis |
Sotin, Pascal |
2010 |
267 | 1 |
p. 139-150 12 p. |
artikel |
|
| 5 | Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs |
Schrammel, Peter |
2010 |
267 | 1 |
p. 101-114 14 p. |
artikel |
|
| 6 | Preface |
Miné, Antoine |
2010 |
267 | 1 |
p. 1-2 2 p. |
artikel |
|
| 7 | Quadtrees as an Abstract Domain |
Howe, Jacob M. |
2010 |
267 | 1 |
p. 89-100 12 p. |
artikel |
|
| 8 | Range and Set Abstraction using SAT |
Barrett, Edd |
2010 |
267 | 1 |
p. 17-27 11 p. |
artikel |
|
| 9 | Relational Abstract Domain of Weighted Hexagons |
Fulara, Jędrzej |
2010 |
267 | 1 |
p. 59-72 14 p. |
artikel |
|
| 10 | Speeding up Polyhedral Analysis by Identifying Common Constraints |
Simon, Axel |
2010 |
267 | 1 |
p. 127-138 12 p. |
artikel |
|
| 11 | Static Analysis by Abstract Interpretation: A Mathematical Programming Approach |
Goubault, Eric |
2010 |
267 | 1 |
p. 73-87 15 p. |
artikel |
|
| 12 | View-Augmented Abstractions |
Elder, Matt |
2010 |
267 | 1 |
p. 43-57 15 p. |
artikel |
12 gevonden resultaten