H. J. Boom

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

Coauthor Index

1

Edwin D. de Jong

[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page