More Efficient Bottom-Up Multipattern Matching in Trees

Excerpt from More Efficient Bottom-Up Multipattern Matching in Trees

Pattern Matching in trees is fundamental to term rewriting systems transformational programming systems [4, 15, 30, program editing and development systems [10, 23, code generator generators [i4, 17, 19, theorem provers logic programming optimizers that attempt to replace unification with matching and compilers for functional languages such as ML and Haskell [22] that have equational function definitions.

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com

This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.