The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly

This paper presents the hrewrite library, that implements a term rewriting engine used as a backend for the generation of code assemblies. This library is implemented in C++ with a Python API, and accepts regular expression order-sorted term signatures and conditional rewriting rules. This paper describes the motivations of the library, its design, and illustrates it with some basic usage and with a discussion of its role as code assembly generation backend.