|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Coinductive Verification of Program Optimizations Using Similarity Relations |
Glesner, Sabine |
2007 |
176 | 3 |
p. 61-77 17 p. |
artikel |
|
| 2 | Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations |
Amme, Wolfram |
2007 |
176 | 3 |
p. 97-108 12 p. |
artikel |
|
| 3 | Functional Elimination of Φ-instructions |
Beringer, Lennart |
2007 |
176 | 3 |
p. 3-20 18 p. |
artikel |
|
| 4 | Improved Invariant Generation for Tvoc |
Fang, Yi |
2007 |
176 | 3 |
p. 21-35 15 p. |
artikel |
|
| 5 | Optimisation Validation |
Aspinall, David |
2007 |
176 | 3 |
p. 37-59 23 p. |
artikel |
|
| 6 | Preface |
Knoop, Jens |
2007 |
176 | 3 |
p. 1-2 2 p. |
artikel |
|
| 7 | Structuring Optimizing Transformations and Proving Them Sound |
Kanade, Aditya |
2007 |
176 | 3 |
p. 79-95 17 p. |
artikel |
|
| 8 | Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars |
Van Wyk, Eric |
2007 |
176 | 3 |
p. 109-122 14 p. |
artikel |
8 gevonden resultaten