|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A New Criterion for Safe Program Transformations |
Minamide, Yasuhiko |
2001 |
41 | 3 |
p. 20-34 15 p. |
article |
|
| 2 | Efficient Substitution in Hoare Logic Expressions |
W. Appel, Andrew |
2001 |
41 | 3 |
p. 35-49 15 p. |
article |
|
| 3 | First–order Semantics for Higher–order Processes |
Baldamus, Michael |
2001 |
41 | 3 |
p. 50-69 20 p. |
article |
|
| 4 | Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion |
Bierman, G.M. |
2001 |
41 | 3 |
p. 70-88 19 p. |
article |
|
| 5 | Preface |
Jeffrey, Alan |
2001 |
41 | 3 |
p. 89- 1 p. |
article |
|
| 6 | Syntactic Type Soundness for the Region Calculus |
Helsen, Simon |
2001 |
41 | 3 |
p. 1-19 19 p. |
article |
6 results found