Loading...
Please wait, while we are loading the content...
Similar Documents
Compilation à la carte.
| Content Provider | CiteSeerX |
|---|---|
| Author | Day, Laurence E. Hutton, Graham |
| Abstract | In previous work, we proposed a new approach to the problem of implementing compilers in a modular manner, by combining earlier work on the development of modular interpreters using monad transformers with the à la carte approach to modular syntax. In this article, we refine and extend our existing framework in a number of directions. In particular, we show how generalised algebraic datatypes can be used to support a more modular approach to typing individual language features, we increase the expressive power of the framework by considering mutable state, variable binding, and the issue of noncommutative effects, and we show how the Zinc Abstract Machine can be adapted to provide a modular universal target machine for our modular compilers. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Compilation La Carte Modular Universal Target Machine Individual Language Feature Modular Manner La Carte Approach Variable Binding Zinc Abstract Machine Generalised Algebraic Datatypes Mutable State New Approach Modular Interpreter Previous Work Modular Syntax Noncommutative Effect Monad Transformer Modular Approach Expressive Power Modular Compiler |
| Content Type | Text |
