Toward a Typed Intermediate Language for R

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

Toward a Typed Intermediate Language for R

Original language description

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.

Czech name

—

Czech description

—

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)

Project

<a href="/en/project/LL2325" target="_blank" >LL2325: Engineering of Data Analysis Pipelines</a><br>

Continuities

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

Publication year

2025

Confidentiality

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

Article name in the collection

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

—

Number of pages

4

Pages from-to

1-4

Publisher name

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Place of publication

Dagstuhl, Germany

Event location

Prague

Event date

Jun 2, 2025

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—