Abstract / Description of output
We address the problem of writing compilers targeting complex execution environments, such as computer clusters composed of machines with multi-core CPUs. To that end we introduce partial compilers. These compilers can pass sub-programs to several child (partial) compilers, combining the code generated by their children to generate the final target code. We define a set of high-level polymorphic operations manipulating both compilers and partial compilers as first-class values. These mechanisms provide a software architecture for modular compiler construction. This allows the building of a forest of compilers, providing a structured treatment of multistage compilers.
Original language | English |
---|---|
Title of host publication | Programming Languages and Systems |
Subtitle of host publication | 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings |
Publisher | Springer |
Pages | 21-40 |
Number of pages | 20 |
Volume | 7792 |
ISBN (Electronic) | 978-3-642-37036-6 |
ISBN (Print) | 978-3-642-37035-9 |
DOIs | |
Publication status | Published - 2013 |