Skip to search formSkip to main contentSkip to account menu

Abstract rewriting machine

Known as: Arm (disambiguation), Minimal term rewriting systems 
The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems. Minimal term rewriting… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Electronic Notes in Theoretical Computer ScienceJournal of Functional ProgrammingVirtual machine

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
"Generating Tools from Algebraic Specifications" Abstracts of the papers from the ASF+SDF'95 Workshop CWI, Amsterdam, May 11 12, 1995
We call a compiler bootstrapped when it is able to compile its own source. To achieve this situation, the compiler must be… 
1992
1992
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)