|
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 | A Hardware Independent Parallel Programming Model |
Burrows, Eva |
2009 |
78 | 7 |
p. 519-538 20 p. |
artikel |
|
| 2 | Behavioral interface description of an object-oriented language with futures and promises |
Ábrahám, Erika |
2009 |
78 | 7 |
p. 491-518 28 p. |
artikel |
|
| 3 | Contents |
2009 |
78 | 7 |
p. v- 1 p. |
artikel |
||
| 4 | Dependently typed array programs don’t go wrong |
Trojahner, Kai |
2009 |
78 | 7 |
p. 643-664 22 p. |
artikel |
|
| 5 | Editorial Board |
2009 |
78 | 7 |
p. IFC- 1 p. |
artikel |
||
| 6 | Guest Editors’ Foreword |
Johnsen, Einar Broch |
2009 |
78 | 7 |
p. vii- 1 p. |
artikel |
|
| 7 | Proof optimization for partial redundancy elimination |
Saabas, Ando |
2009 |
78 | 7 |
p. 619-642 24 p. |
artikel |
|
| 8 | Ready to preorder: an algebraic and general proof |
Frutos Escrig, de David |
2009 |
78 | 7 |
p. 539-551 13 p. |
artikel |
|
| 9 | Securing interaction between threads and the scheduler in the presence of synchronization |
Russo, Alejandro |
2009 |
78 | 7 |
p. 593-618 26 p. |
artikel |
|
| 10 | Transfinite Semantics in the Form of Greatest Fixpoint |
Nestra, Härmel |
2009 |
78 | 7 |
p. 573-592 20 p. |
artikel |
|
| 11 | What is a Sorting Function? |
Henglein, Fritz |
2009 |
78 | 7 |
p. 552-572 21 p. |
artikel |
11 gevonden resultaten