Now showing items 1-6 of 6

    • E-FRP With Priorities 

      Inoue, Jun; Kaiabachev, Roumen; Taha, Walid; Zhu, Angela (2009-07-15)
      E-FRP is declarative language for programming resource-bounded, event-driven systems. Its original high-level semantics requires that each event handler execute atomically. This facilitates reasoning about E-FRP programs, ...
    • Multi-stage Programming for Mainstream Languages 

      Abdelatif, Tamer; Inoue, Jun; Ricken, Mathias; Taha, Walid; Westbrook, Edwin; Yao, Yilong (2009-07-27)
      Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the overhead of abstractions, allowing clean, ...
    • 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 Multi-Stage Programs 

      Inoue, Jun; Taha, Walid (2011-10-15)
      We settle three basic questions that naturally arise when verifying multi-stage functional programs. Firstly, does adding staging to a language compromise any equalities that hold in the base language? Unfortunately it ...
    • 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 ...
    • Reasoning About Staged Programs 

      Inoue, Jun; Taha, Walid (2009-07-14)
      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. Various ...