Rob R. Hoogerwoord

Publication Activity (10 Years)

Years Active: 1986-2001
Publications (10 Years): 0

Publications

Rob R. Hoogerwoord
Formality works. Inf. Process. Lett. 77 (2-4) (2001)
Rob R. Hoogerwoord
Programming by Calculation. APPIA-GULP-PRODE (1996)
Rob R. Hoogerwoord
A Logarithmic Implementation of Flexible Arrays. MPC (1992)
Rob R. Hoogerwoord
A Symmetric Set of Efficient List Operations. J. Funct. Program. 2 (4) (1992)
Rob R. Hoogerwoord
A Derivation of Huffman's Algorithm. MPC (1992)
Jo C. Ebergen, Rob R. Hoogerwoord
A Derivation of a Serial-Parallel Multiplier. Sci. Comput. Program. 15 (2-3) (1990)
Rob R. Hoogerwoord
A Calculational Derivation of the Casop Algorithm. Inf. Process. Lett. 36 (6) (1990)
Rob R. Hoogerwoord
An Implementation of Mutual Inclusion. Inf. Process. Lett. 23 (2) (1986)