|
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 | An Abstract Interpretation-based Approach to Mobile Code Safety |
Albert, Elvira |
2005 |
132 | 1 |
p. 113-129 17 p. |
artikel |
|
| 2 | A Program Result Checker for the Lexical Analysis of the GNU C Compiler |
Glesner, Sabine |
2005 |
132 | 1 |
p. 19-35 17 p. |
artikel |
|
| 3 | A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics |
Glesner, Sabine |
2005 |
132 | 1 |
p. 73-93 21 p. |
artikel |
|
| 4 | Cobalt: A Language for Writing Provably-Sound Compiler Optimizations |
Lerner, Sorin |
2005 |
132 | 1 |
p. 5-17 13 p. |
artikel |
|
| 5 | Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers |
Goldberg, Benjamin |
2005 |
132 | 1 |
p. 53-71 19 p. |
artikel |
|
| 6 | Memory Requirements of Java Bytecode Verification on Limited Devices |
Klohs, Karsten |
2005 |
132 | 1 |
p. 95-111 17 p. |
artikel |
|
| 7 | On the Optimality of Register Saturation |
Touati, Sid-Ahmed-Ali |
2005 |
132 | 1 |
p. 131-148 18 p. |
artikel |
|
| 8 | Preface |
Knoop, Jens |
2005 |
132 | 1 |
p. 1-3 3 p. |
artikel |
|
| 9 | Towards Proof Generating Compilers |
Poetzsch-Heffter, Arnd |
2005 |
132 | 1 |
p. 37-51 15 p. |
artikel |
9 gevonden resultaten