Skip to main navigation Skip to search Skip to main content

Parallel tree pattern matching

  • University of Texas at Dallas

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

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 languageEnglish
Pages (from-to)485-501
Number of pages17
JournalJournal of Symbolic Computation
Volume9
Issue number4
DOIs
StatePublished - 1990

Fingerprint

Dive into the research topics of 'Parallel tree pattern matching'. Together they form a unique fingerprint.

Cite this