About us
Define
Definitions for
"Abstract Rewriting Machine"
The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems.
en.wikipedia.org