Abstract
Tree pattern matching is a fundamental operation that is used in a number of programming tasks such as code optimization in compilers, symbolic computation, automatic theorem proving and term rewriting. An important special case of this operation is linear tree pattern matching in which an instance of any variable in the pattern occurs at most once. In this paper we describe a new parallel algorithm for linear tree pattern matching using a parallel random access machine model.
| Original language | English |
|---|---|
| Pages (from-to) | 485-501 |
| Number of pages | 17 |
| Journal | Journal of Symbolic Computation |
| Volume | 9 |
| Issue number | 4 |
| DOIs | |
| State | Published - 1990 |
Fingerprint
Dive into the research topics of 'Parallel tree pattern matching'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver