Case Studies

Here we report on (additional) examples that illustrate the expressivity of System C.

---

Table of contents

• Use and Mention
• Region-based Local State
• Scheduling (with continuations and mutable cells)