|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A New Criterion for Safe Program Transformations |
Minamide, Yasuhiko |
2001 |
41 | 3 |
p. 20-34 15 p. |
artikel |
|
| 2 | Efficient Substitution in Hoare Logic Expressions |
W. Appel, Andrew |
2001 |
41 | 3 |
p. 35-49 15 p. |
artikel |
|
| 3 | First–order Semantics for Higher–order Processes |
Baldamus, Michael |
2001 |
41 | 3 |
p. 50-69 20 p. |
artikel |
|
| 4 | Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion |
Bierman, G.M. |
2001 |
41 | 3 |
p. 70-88 19 p. |
artikel |
|
| 5 | Preface |
Jeffrey, Alan |
2001 |
41 | 3 |
p. 89- 1 p. |
artikel |
|
| 6 | Syntactic Type Soundness for the Region Calculus |
Helsen, Simon |
2001 |
41 | 3 |
p. 1-19 19 p. |
artikel |
6 gevonden resultaten