H. J. Boom

According to our database, H. J. Boom authored at least 3 papers between 1980 and 1988.

Collaborative distances:

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

1988

Lazy Variable-Renumbering Makes Substitution Cheap.

H. J. Boom

Inf. Process. Lett., 1988

1982

A Weaker Precondition for Loops.

H. J. Boom

ACM Trans. Program. Lang. Syst., 1982

1980

A Critical Comparison of Several Programming Language Implementations.

H. J. Boom, Edwin D. de Jong

Softw. Pract. Exp., 1980