|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A derivation of a distributed implementation of Warshall's algorithm |
van de Snepscheut, Jan L.A. |
1986 |
7 | C |
p. 55-60 6 p. |
artikel |
|
| 2 | Algebraic implementations preserve program correctness |
Broy, Manfred |
1986 |
7 | C |
p. 35-53 19 p. |
artikel |
|
| 3 | Analysing a class of distributive partitioning sort algorithms |
van der Nat, M. |
1986 |
7 | C |
p. 23-33 11 p. |
artikel |
|
| 4 | Author index |
1986 |
7 | C |
p. 321-322 2 p. |
artikel |
||
| 5 | Cigale: A tool for interactive grammar construction and expression parsing |
Voisin, Frédéric |
1986 |
7 | C |
p. 61-86 26 p. |
artikel |
|
| 6 | Compiling and optimizing methods for the functional language ASL/F |
Inoue, Katsuro |
1986 |
7 | C |
p. 297-312 16 p. |
artikel |
|
| 7 | Editorial Board |
1986 |
7 | C |
p. iii- 1 p. |
artikel |
||
| 8 | Functional programming with side-effects |
Josephs, Mark B. |
1986 |
7 | C |
p. 279-296 18 p. |
artikel |
|
| 9 | Small programming exercises 14 |
Rem, M. |
1986 |
7 | C |
p. 313-319 7 p. |
artikel |
|
| 10 | Small programming exercises 12 |
Rem, M. |
1986 |
7 | C |
p. 87-97 11 p. |
artikel |
|
| 11 | Small programming exercises 13 |
Rem, M. |
1986 |
7 | C |
p. 243-248 6 p. |
artikel |
|
| 12 | State machines and assertions: An integrated approach to modeling and verification of distributed systems |
Joseph, Thomas A. |
1986 |
7 | C |
p. 1-22 22 p. |
artikel |
|
| 13 | Strictness analysis for higher-order functions |
Burn, Geoffrey L. |
1986 |
7 | C |
p. 249-278 30 p. |
artikel |
|
| 14 | Transformational program development in a particular problem domain |
Partsch, H. |
1986 |
7 | C |
p. 99-241 143 p. |
artikel |
14 gevonden resultaten