Now showing items 1-2 of 2

    • Reasoning About Multi-stage Programs 

      Inoue, Jun (2013-07-24)
      Multi-stage programming (MSP) is a style of writing program generators---programs which generate programs---supported by special annotations that direct construction, combination, and execution of object programs. ...
    • 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 ...