|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A faster solver for general systems of equations |
Fecht, Christian |
1999 |
35 | 2-3 |
p. 137-161 25 p. |
artikel |
|
| 2 | Approximating the domains of functional and imperative programs |
Brauburger, Jürgen |
1999 |
35 | 2-3 |
p. 113-136 24 p. |
artikel |
|
| 3 | Automatic analysis of pointer aliasing for untyped programs |
Venet, A. |
1999 |
35 | 2-3 |
p. 223-248 26 p. |
artikel |
|
| 4 | Book review |
1999 |
35 | 2-3 |
p. 249-253 5 p. |
artikel |
||
| 5 | Cache behavior prediction by abstract interpretation |
Ferdinand, Christian |
1999 |
35 | 2-3 |
p. 163-189 27 p. |
artikel |
|
| 6 | Editorial |
1999 |
35 | 2-3 |
p. 77- 1 p. |
artikel |
||
| 7 | Index |
1999 |
35 | 2-3 |
p. 255- 1 p. |
artikel |
||
| 8 | Introduction to set constraint-based program analysis |
Aiken, Alexander |
1999 |
35 | 2-3 |
p. 79-111 33 p. |
artikel |
|
| 9 | Tractable constraints in finite semilattices |
Rehof, Jakob |
1999 |
35 | 2-3 |
p. 191-221 31 p. |
artikel |
9 gevonden resultaten