Check out the new USENIX Web site. next up previous
Next: Benefits of the approach Up: DSL Implementation Using Staging Previous: Intensional analysis of code

Conclusion

The important issues of efficient language implementation by refinement from high-level specifications are: the efficient use of the underlying target environment, and removing the layer of interpretative computation introduced by such specifications. We have shown that monads and staging are the right abstraction mechanisms to accomplish the task. To effectively use these tools we propose that DSL implementers follow a well defined method. We reiterate our method here:




next up previous
Next: Benefits of the approach Up: DSL Implementation Using Staging Previous: Intensional analysis of code

Zine-El-abidine Benaissa
Wed Jul 21 11:46:59 PDT 1999