H. J. Boom

Publication Activity (10 Years)

Years Active: 1980-1988
Publications (10 Years): 0

Publications

H. J. Boom
Lazy Variable-Renumbering Makes Substitution Cheap. Inf. Process. Lett. 29 (5) (1988)
H. J. Boom
A Weaker Precondition for Loops. ACM Trans. Program. Lang. Syst. 4 (4) (1982)
H. J. Boom, Edwin D. de Jong
A Critical Comparison of Several Programming Language Implementations. Softw. Pract. Exp. 10 (6) (1980)