Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |
We give a brief introduction to Epic and to ARM (they are discussed in more detail elsewhere). We show how to use the Epic compiler and how to execute ARM code. Then we describe ARM''s API (application programmer''s interface) which allows ARM to be used as a plug-in library. We describe how to access external functions from ARM and how to add external data types.