|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses |
Sălcianu, Alexandru |
2005 |
141 | 2 |
p. 53-68 16 p. |
artikel |
|
| 2 | Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL |
Blech, Jan Olaf |
2005 |
141 | 2 |
p. 33-51 19 p. |
artikel |
|
| 3 | Preface |
Knoop, Jens |
2005 |
141 | 2 |
p. 1-3 3 p. |
artikel |
|
| 4 | Quantifying the Benefits of SSA-Based Mobile Code |
Amme, Wolfram |
2005 |
141 | 2 |
p. 103-119 17 p. |
artikel |
|
| 5 | Structural Encoding of Static Single Assignment Form |
Gal, Andreas |
2005 |
141 | 2 |
p. 85-102 18 p. |
artikel |
|
| 6 | Validating More Loop Optimizations |
Hu, Ying |
2005 |
141 | 2 |
p. 69-84 16 p. |
artikel |
|
| 7 | What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer? |
Langmaack, Hans |
2005 |
141 | 2 |
p. 5-32 28 p. |
artikel |
7 gevonden resultaten