|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode |
Méndez, Mario |
2007 |
190 | 1 |
p. 51-66 16 p. |
artikel |
|
| 2 | Bytecode Rewriting in Tom |
Balland, Emilie |
2007 |
190 | 1 |
p. 19-33 15 p. |
artikel |
|
| 3 | Computing SSA Form with Matrices |
Nguyen, Quan Hoang |
2007 |
190 | 1 |
p. 121-132 12 p. |
artikel |
|
| 4 | Experiments in Cost Analysis of Java Bytecode |
Albert, E. |
2007 |
190 | 1 |
p. 67-83 17 p. |
artikel |
|
| 5 | Formal Translation of Bytecode into BoogiePL |
Lehner, Hermann |
2007 |
190 | 1 |
p. 35-50 16 p. |
artikel |
|
| 6 | Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation |
Gómez-Zamalloa, Miguel |
2007 |
190 | 1 |
p. 85-101 17 p. |
artikel |
|
| 7 | MMC: the Mono Model Checker |
Ruys, Theo C. |
2007 |
190 | 1 |
p. 149-160 12 p. |
artikel |
|
| 8 | Preface |
Huisman, Marieke |
2007 |
190 | 1 |
p. 1- 1 p. |
artikel |
|
| 9 | Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers |
Ševčík, Jaroslav |
2007 |
190 | 1 |
p. 133-147 15 p. |
artikel |
|
| 10 | Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking |
McGeachie, Jesse |
2007 |
190 | 1 |
p. 3-18 16 p. |
artikel |
|
| 11 | Type Systems for Optimizing Stack-based Code |
Saabas, Ando |
2007 |
190 | 1 |
p. 103-119 17 p. |
artikel |
11 gevonden resultaten