Abstract | ||
---|---|---|
Special purpose embedded languages facilitate generating high-performance code from purely functional high-level code; for example, we want to program highly parallel GPUs without the usual high barrier to entry and the time-consuming development process. We previously demonstrated the feasibility of a skeleton-based, generative approach to compiling such embedded languages. In this paper, we (a) describe our solution to some of the practical problems with skeleton-based code generation and (b) introduce our approach to enabling interoperability with native code. In particular, we show, in the context of a functional embedded language for GPU programming, how template meta programming simplifies code generation and optimisation. Furthermore, we present our design for a foreign function interface for an embedded language. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-04132-2_10 | PADL |
Field | DocType | Citations |
Object code,Second-generation programming language,Programming language,Computer science,Source code,Theoretical computer science,Assembly language,Code generation,Machine code,Computer programming,Dead code | Conference | 6 |
PageRank | References | Authors |
0.52 | 16 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert Clifton-Everest | 1 | 6 | 0.52 |
Trevor L. McDonell | 2 | 143 | 6.67 |
Manuel M. T. Chakravarty | 3 | 666 | 41.89 |
Gabriele Keller | 4 | 657 | 36.02 |