Epic and ARM : user's guide
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.
|Applicative Programming (acm D.1.1), Processors (acm D.3.4), Logic Programming (acm D.1.6), Semantics of Programming Languages (acm F.3.2), Mathematical Logic (acm F.4.1)|
|Logic programming (msc 68N17), Compilers and interpreters (msc 68N20), Models of computation (Turing machines, etc.) (msc 68Q05), Theory of computing (msc 68Qxx), Grammars and rewriting systems (msc 68Q42), Abstract data types; algebraic specification (msc 68Q65)|
|Software (theme 1)|
|Software Engineering [SEN]|
|Organisation||Software Analysis and Transformation|
Walters, H.R. (1997). Epic and ARM : user's guide. Software Engineering [SEN]. CWI.