Towards Statically Reasoning about R Vectors
Open Access
- 2 October 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 18-25
Abstract
No abstract availableFunding Information
- German Research Foundation (504226141)
This publication has 12 references indexed in Scilit:
- On the Anatomy of Real-World R Code for Static Analysis2024
- A Product of Shape and Sequence Abstractions2023
- Static Analysis of Data Transformations in Jupyter Notebooks2023
- On the design, implementation, and use of laziness in RProceedings of the ACM on Programming Languages, 2019
- A trustworthy mechanized formalization of R2018
- JSAI: a static analysis platform for JavaScript2014
- A suite of abstract domains for static analysis of string valuesSoftware: Practice and Experience, 2013
- Evaluating the Design of the R Language2012
- A parametric segmentation functor for fully automatic and scalable array content analysisACM SIGPLAN Notices, 2011
- Type Analysis for JavaScript2009