Buchumschlag

From Dynamic to Lexical: A Comparative Exploration of Scoping Rules in SAS and R

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ling, Chen, Wang, Yachen
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
von: Ling, Chen, et al.
Veröffentlicht: (2026)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
von: Hughes, Jack, et al.
Veröffentlicht: (2025)

A Calculus for Scoped Effects & Handlers
von: Bosman, Roger, et al.
Veröffentlicht: (2023)

Handling Scope Checks (Extended Version)
von: Lee, Michael, et al.
Veröffentlicht: (2026)

Online Collection Statistics: A Comparison of BASIC and SAS.
von: Slater, Jack
Veröffentlicht: (1981)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
von: Chen, Tianyu, et al.
Veröffentlicht: (2026)

Defining Name Accessibility using Scope Graphs (Extended Edition)
von: Zwaan, Aron, et al.
Veröffentlicht: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)

Is Next Token Prediction Sufficient for GPT? Exploration on Code Logic Comprehension
von: Qi, Mengnan, et al.
Veröffentlicht: (2024)

PAuth - Precise Task-Scoped Authorization For Agents
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
von: Alaoui, Ziad Ismaili, et al.
Veröffentlicht: (2025)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
von: Li, Hebi, et al.
Veröffentlicht: (2023)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
von: Xu, Ziyun, et al.
Veröffentlicht: (2026)

SAS: Simulated Attention Score
von: Zheng, Chuanyang, et al.
Veröffentlicht: (2025)

Rebound: Efficient, Expressive, and Well-Scoped Binding
von: De Santo, Noé, et al.
Veröffentlicht: (2025)

Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
von: Zhang, Yinger, et al.
Veröffentlicht: (2023)

From Algebraic Word Problem to Program: A Formalized Approach
von: Wiemerslage, Adam, et al.
Veröffentlicht: (2020)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
von: Kanda, Madhav, et al.
Veröffentlicht: (2025)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
von: Tang, Hao, et al.
Veröffentlicht: (2024)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
von: Fukuda, Kota, et al.
Veröffentlicht: (2025)

Scoped Effects as Parameterized Algebraic Theories
von: Matache, Cristina, et al.
Veröffentlicht: (2024)

From Traces to Program Incorrectness: A Type-Theoretic Approach
von: Yuan, Yongwei, et al.
Veröffentlicht: (2025)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
von: Ling, Hongyi, et al.
Veröffentlicht: (2026)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
von: Xu, Haoran, et al.
Veröffentlicht: (2024)

Scoped and Typed Staging by Evaluation
von: Allais, Guillaume
Veröffentlicht: (2023)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
von: Tunç, Hünkar Can, et al.
Veröffentlicht: (2024)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

Practical Algebraic Stepping with Scoped Filters
von: Fei, Haoxiang, et al.
Veröffentlicht: (2026)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
von: Wang, Yi, et al.
Veröffentlicht: (2025)

Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
von: Wang, Yu, et al.
Veröffentlicht: (2024)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
von: Baek, Doehyun, et al.
Veröffentlicht: (2024)

From High to Low: Simulating Nondeterminism and State with State
von: Tang, Wenhao, et al.
Veröffentlicht: (2023)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2025)

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
von: Kobaladze, Zurabi, et al.
Veröffentlicht: (2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
von: Zhang, Guanqin, et al.
Veröffentlicht: (2025)

Dynamic Robustness Verification Against Weak Memory (Extended Version)
von: Margalit, Roy, et al.
Veröffentlicht: (2025)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
von: Pointner, Andreas, et al.
Veröffentlicht: (2025)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
von: Rose, Abhishek, et al.
Veröffentlicht: (2024)

Probabilistic Inference for Datalog with Correlated Inputs
von: Wang, Jingbo, et al.
Veröffentlicht: (2025)