English

MatchPy: A Pattern Matching Library

Programming Languages 2017-10-20 v1 Symbolic Computation

Abstract

Pattern matching is a powerful tool for symbolic computations, based on the well-defined theory of term rewriting systems. Application domains include algebraic expressions, abstract syntax trees, and XML and JSON data. Unfortunately, no lightweight implementation of pattern matching as general and flexible as Mathematica exists for Python Mathics,MacroPy,patterns,PyPatt. Therefore, we created the open source module MatchPy which offers similar pattern matching functionality in Python using a novel algorithm which finds matches for large pattern sets more efficiently by exploiting similarities between patterns.

Keywords

Cite

@article{arxiv.1710.06915,
  title  = {MatchPy: A Pattern Matching Library},
  author = {Manuel Krebber and Henrik Barthels and Paolo Bientinesi},
  journal= {arXiv preprint arXiv:1710.06915},
  year   = {2017}
}

Comments

arXiv admin note: substantial text overlap with arXiv:1710.00077