R melts brains: an IR for first-class environments and lazy effectful arguments
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F19%3A00335618" target="_blank" >RIV/68407700:21240/19:00335618 - isvavai.cz</a>
Result on the web
<a href="https://dl.acm.org/citation.cfm?id=3359744" target="_blank" >https://dl.acm.org/citation.cfm?id=3359744</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/3359619.3359744" target="_blank" >10.1145/3359619.3359744</a>
Alternative languages
Result language
angličtina
Original language name
R melts brains: an IR for first-class environments and lazy effectful arguments
Original language description
The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniques impractical, and thus, compiler optimizations based on them ineffective. We present our work on PIR, an intermediate representation with explicit support for first-class environments and effectful lazy evaluation. We describe two dataflow analyses on PIR: the first enables reasoning about variables and their environments, and the second infers where arguments are evaluated. Leveraging their results, we show how to elide environment creation and inline functions.
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
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
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
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages
ISBN
978-1-4503-6996-1
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
55-66
Publisher name
ACM New York
Place of publication
—
Event location
Athens
Event date
Oct 20, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—