Programmable Signatures
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 2015

When compiling EDSLs into other languages, types in the source language must be translated 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. However, this simple approach is limiting when there are multiple possible mappings, and it may lead to poor interoperability and 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.

Författare

Anders Persson

Chalmers, Data- och informationsteknik, Programvaruteknik

Emil Axelsson

Chalmers, Data- och informationsteknik, Programvaruteknik

Trends in Functional Programming

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Data- och informationsvetenskap

Mer information

Skapat

2017-10-08