| |
| 1988 | ||
|---|---|---|
| 3 | H. J. Boom: Lazy Variable-Renumbering Makes Substitution Cheap. Inf. Process. Lett. 29(5): 229-232 (1988) | |
| 1982 | ||
| 2 | EE | 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) | |
| 1 | Edwin D. de Jong | [1] |