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 ...