|
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 | Approximate fixed points in abstract interpretation |
Hankin, Chris |
1994 |
22 | 3 |
p. 283-306 24 p. |
artikel |
|
| 2 | A theory of qualified types |
Jones, Mark P. |
1994 |
22 | 3 |
p. 231-256 26 p. |
artikel |
|
| 3 | Author index—volume 22 (1994) |
1994 |
22 | 3 |
p. 355-356 2 p. |
artikel |
||
| 4 | Back to direct style |
Danvy, Olivier |
1994 |
22 | 3 |
p. 183-195 13 p. |
artikel |
|
| 5 | Dynamic typing: syntax and proof theory |
Henglein, Fritz |
1994 |
22 | 3 |
p. 197-230 34 p. |
artikel |
|
| 6 | Foreword |
Krieg-Brückner, B. |
1994 |
22 | 3 |
p. 181-182 2 p. |
artikel |
|
| 7 | Interprocedural type propagation for object-oriented languages |
Larchevêque, J.M |
1994 |
22 | 3 |
p. 257-282 26 p. |
artikel |
|
| 8 | Reversing abstract interpretations |
Hughes, John |
1994 |
22 | 3 |
p. 307-326 20 p. |
artikel |
|
| 9 | The tensor product in Wadler's analysis of lists |
Nielson, Flemming |
1994 |
22 | 3 |
p. 327-354 28 p. |
artikel |
9 gevonden resultaten