DSL Virtual Machines

This page will later describe execution environments, memory models, and how a runtime isolates or hosts compiled DSL programs.

Scope

  • Define the virtual hardware exposed to programs.
  • Separate runtime services from source semantics.
  • Keep portability and debugging in view.

Next Steps

  1. Sketch the runtime API.
  2. List the machine state that must be modeled.
  3. Add VM examples later.