Interpreters & Tools

---

Note: This page contains links to published papers about ASM tools. You may also want to see the Tools page which has links to executable tools available for ASMs (including tools not listed here).

---

Table of Contents

• ASM Workbench
  • Compilation to C++ (full paper)
  • Compilation to C++ (extended abstract)
• Evolving Algebra Abstract Machine
• EvADE (Gofer-based Compiler/Run-Analyzer)
• Gem-Mex
• Gem-Mex (2)
• MAX-ASM Interpreter Generator
• Prolog-based Interpreter
• Prolog-based Compiler (paper)
  • Full Version
  • Extended Abstract
• Prototypes
• Scheme-based Interpreter
• Specware
• XASM
  • Denotational Semantics

[an error occurred while processing this directive]