|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Approximate fixed points in abstract interpretation |
Hankin, Chris |
1994 |
22 | 3 |
p. 283-306 24 p. |
article |
|
| 2 | A theory of qualified types |
Jones, Mark P. |
1994 |
22 | 3 |
p. 231-256 26 p. |
article |
|
| 3 | Author index—volume 22 (1994) |
1994 |
22 | 3 |
p. 355-356 2 p. |
article |
||
| 4 | Back to direct style |
Danvy, Olivier |
1994 |
22 | 3 |
p. 183-195 13 p. |
article |
|
| 5 | Dynamic typing: syntax and proof theory |
Henglein, Fritz |
1994 |
22 | 3 |
p. 197-230 34 p. |
article |
|
| 6 | Foreword |
Krieg-Brückner, B. |
1994 |
22 | 3 |
p. 181-182 2 p. |
article |
|
| 7 | Interprocedural type propagation for object-oriented languages |
Larchevêque, J.M |
1994 |
22 | 3 |
p. 257-282 26 p. |
article |
|
| 8 | Reversing abstract interpretations |
Hughes, John |
1994 |
22 | 3 |
p. 307-326 20 p. |
article |
|
| 9 | The tensor product in Wadler's analysis of lists |
Nielson, Flemming |
1994 |
22 | 3 |
p. 327-354 28 p. |
article |
9 results found