SECD implementation in C: general design

Contents

• SECD: about
• Part I and Part Ia describe high-level, formal definition of a SECD machine;
• Part II discusses low-level details of SECD implementation in C;
  • Memory layout
  • Cell format
  • Handling native code errors
  • Garbage collection
• Part III (TODO): how to compile a Scheme subset into SECD code.

---

A SECD machine is a stack-based abstract machine built around lists. That determines the design of its implementation. 

Memory layout