Static closures for functional languages
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10371107" target="_blank" >RIV/00216208:11320/18:10371107 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Static closures for functional languages
Original language description
In current functional programming environments, the first-class functions with implicitly passed closures are usually represented as structures called thunks. Typical methods of thunk processing require non-trivial run-time support in form of allocation and garbage collection, which may negatively impact performance and restricts applicability of the language in low-level environments, such as embedded devices, operating systems and kernels. We present an algorithm that statically converts all implicitly passed function scopes (that would otherwise be converted to thunks) to explicitly defined static closures. The approach can be used to simplify translation of purely functional programs to highly-performant lower-level languages. Performance impact of the conversion and subsequent compilation to low-level code is demonstrated on several programs.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
SRF Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)
ISBN
978-3-319-73117-9
ISSN
—
e-ISSN
neuvedeno
Number of pages
12
Pages from-to
80-91
Publisher name
Austrian Computer Society
Place of publication
Krems an der Donau
Event location
Krems an der Donau, Austria
Event date
Jan 29, 2018
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—