Rob R. Hoogerwoord

According to our database, Rob R. Hoogerwoord authored at least 8 papers between 1986 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Formality works.

Rob R. Hoogerwoord

Inf. Process. Lett., 2001

1996

Programming by Calculation.

Rob R. Hoogerwoord

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1992

A Symmetric Set of Efficient List Operations.

Rob R. Hoogerwoord

J. Funct. Program., 1992

A Derivation of Huffman's Algorithm.

Rob R. Hoogerwoord

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

A Logarithmic Implementation of Flexible Arrays.

Rob R. Hoogerwoord

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1990

A Derivation of a Serial-Parallel Multiplier.

Jo C. Ebergen, Rob R. Hoogerwoord

Sci. Comput. Program., 1990

A Calculational Derivation of the Casop Algorithm.

Rob R. Hoogerwoord

Inf. Process. Lett., 1990

1986

An Implementation of Mutual Inclusion.

Rob R. Hoogerwoord

Inf. Process. Lett., 1986