Toward a Typed Intermediate Language for R

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A10507975" target="_blank" >RIV/00216208:11320/25:10507975 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.4230/OASIcs.Programming.2025.24" target="_blank" >https://doi.org/10.4230/OASIcs.Programming.2025.24</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4230/OASIcs.Programming.2025.24" target="_blank" >10.4230/OASIcs.Programming.2025.24</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Toward a Typed Intermediate Language for R

Popis výsledku v původním jazyce

Compilers for dynamic languages often rely on intermediate representations with explicit type annotations to facilitate writing program transformations. This paper documents the design of a new typed intermediate representation for a just-in-time compiler for the R programming language called FIŘ. Type annotations, in FIŘ, capture properties such as sharing, the potential for effects, and compiler speculations. In this extended abstract, we focus on the sharing properties that may be used to optimize away some copies of values.

Název v anglickém jazyce

Toward a Typed Intermediate Language for R

Popis výsledku anglicky

Compilers for dynamic languages often rely on intermediate representations with explicit type annotations to facilitate writing program transformations. This paper documents the design of a new typed intermediate representation for a just-in-time compiler for the R programming language called FIŘ. Type annotations, in FIŘ, capture properties such as sharing, the potential for effects, and compiler speculations. In this extended abstract, we focus on the sharing properties that may be used to optimize away some copies of values.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/LL2325" target="_blank" >LL2325: Konstrukce kanálů pro analýzu dat</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2025

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)

ISBN

978-3-95977-382-9

ISSN

2190-6807

e-ISSN

—

Počet stran výsledku

4

Strana od-do

1-4

Název nakladatele

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Místo vydání

Dagstuhl, Germany

Místo konání akce

Prague

Datum konání akce

2. 6. 2025

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—