Now showing items 1-1 of 1

    • Reasoning About Staged Programs 

      Inoue, Jun (2010)
      This thesis establishes formal equational properties of multi-stage calculi and related proof techniques that support analyses of staged programs. A key promise of staging is to make programs efficient without ...