Programmable Signatures
Paper in proceedings, 2016

When compiling Embedded Domain Specific Languages (EDSLs) into other languages, the compiler translates types in the source language into corresponding types in the target language. The translation is often driven by a small set of rules that map a single type in the source language into a single type in the target language. This simple approach is limiting when there are multiple possible mappings, and it may lead to poor interoperability and poor performance in the generated code. Instead of hard-wiring a single set of translation rules into a compiler, this paper introduces a small language that lets the programmer describe the mapping of each argument and function separately.

Author

Anders Persson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Emil Axelsson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 9547 124-135

Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering

DOI

10.1007/978-3-319-39110-6_7

More information

Latest update

11/12/2019