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