In this paper, we propose a method of generating an efficient bottom-up tree rewrite machine for JBurg. JBurg is a Bottom-Up
Rewrite Machine Generator for Java. Our method can be derived from some relations over tree patterns. The proposed scheme
is more efficient than JBurg because we can avoid unfruitful tests with the smaller size of the scheme. Furthermore, the relevant
analyses needed for this proposal are largely achieved at compile-compile time, which secures actual efficiency at compilation
time.