Rob R. Hoogerwoord

2001
8	EE	Rob R. Hoogerwoord: Formality works. Inf. Process. Lett. 77(2-4): 137-142 (2001)
1996
7		Rob R. Hoogerwoord: Programming by Calculation. APPIA-GULP-PRODE 1996: 407-426
1992
6		Rob R. Hoogerwoord: A Logarithmic Implementation of Flexible Arrays. MPC 1992: 191-207
5		Rob R. Hoogerwoord: A Derivation of Huffman's Algorithm. MPC 1992: 375-378
4		Rob R. Hoogerwoord: A Symmetric Set of Efficient List Operations. J. Funct. Program. 2(4): 505-513 (1992)
1990
3		Rob R. Hoogerwoord: A Calculational Derivation of the Casop Algorithm. Inf. Process. Lett. 36(6): 297-299 (1990)
2		Jo C. Ebergen, Rob R. Hoogerwoord: A Derivation of a Serial-Parallel Multiplier. Sci. Comput. Program. 15(2-3): 201-215 (1990)
1986
1		Rob R. Hoogerwoord: An Implementation of Mutual Inclusion. Inf. Process. Lett. 23(2): 77-80 (1986)

Coauthor Index

1

Jo C. Ebergen

[2]