DSL Implementation Using Staging and Monads

Tim Sheard, Zine-el-abidine Benaissa, and Emir Pasalic
Pacific Software Research Center
Oregon Graduate Institute
P.O. Box 91000 Portland, Oregon 97291-1000 USA
sheard@cse.ogi.edu, https://cse.ogi.edu/ sheard

• Introduction
• Staging in MetaML
• Monads in Langauge Design
• Monads in METAML
• Illustrating our compiler development method
  • The while-language
  • The structure of the solution
  • Step 1: monadic interpreter
  • Step 2: staged interpreter
    • Interpreter for Commands.
    • An example.
• Step 3: Back-end translation and intermediate code optimization
  • Intensional analysis of code fragments
• Conclusion
  • Benefits of the approach
  • The Implementation
• Acknowledgments
• References
• About this document ...

Technical Program Conference index USENIX home