Imagen de Portada

A type system for data flow and alias analysis in ReScript

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lund, Nicky Ask, Hüttel, Hans
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Type System for Data Flow and Alias Analysis in ReScript
por: Lund, Nicky Ask, et al.
Publicado: (2024)

A Type System to Ensure Non-Interference in ReScript
por: Bennetzen, Benjamin, et al.
Publicado: (2024)

Functional Array Programming in an Extended Pi-Calculus
por: Hüttel, Hans, et al.
Publicado: (2024)

BlueScript: A Disaggregated Virtual Machine for Microcontrollers
por: Mochizuki, Fumika, et al.
Publicado: (2025)

On the computational complexity of JavaScript regex matching
por: Deng, Victor, et al.
Publicado: (2026)

A Coq Mechanization of JavaScript Regular Expression Semantics
por: De Santo, Noé, et al.
Publicado: (2024)

Composable Effect Handling for Programming LLM-integrated Scripts
por: Wang, Di
Publicado: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
por: Xu, Ning, et al.
Publicado: (2026)

Linear Matching of JavaScript Regular Expressions
por: Barrière, Aurèle, et al.
Publicado: (2023)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
por: Barrière, Aurèle, et al.
Publicado: (2025)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
por: Brady, Seamus
Publicado: (2026)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
por: Bhatia, Rishipal Singh
Publicado: (2026)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
por: Zhang, Keyang, et al.
Publicado: (2026)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
por: Jiang, Shan, et al.
Publicado: (2025)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
por: Gao, Jun, et al.
Publicado: (2025)

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
por: Edwards, Marcus
Publicado: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
por: Haas, Julian, et al.
Publicado: (2023)

Computers in Small Libraries: Learning Server-Side Scripting
por: Roberts, Gary
Publicado: (2005)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
por: Qiu, Yiran
Publicado: (2026)

Monadic type-and-effect soundness
por: Dagnino, Francesco, et al.
Publicado: (2025)

Series-Parallel-Loop Decompositions of Control-flow Graphs
por: Cai, Xuran, et al.
Publicado: (2026)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
por: Rasch, Ari
Publicado: (2024)

A Compute-Matched Re-Evaluation of TroVE on MATH
por: Sesterhenn, Tobias, et al.
Publicado: (2025)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
por: Cai, Xuran, et al.
Publicado: (2026)

Programming with union, intersection, and negation types
por: Castagna, Giuseppe
Publicado: (2021)

Denotational reasoning for asynchronous multiparty session types
por: McDermott, Dylan, et al.
Publicado: (2026)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
por: Kim, Seongmin, et al.
Publicado: (2026)

Probabilistic energy profiler for statically typed JVM-based programming languages
por: Nyholm, Joel, et al.
Publicado: (2025)

CASCADE: LLM-Powered JavaScript Deobfuscator at Google
por: Jiang, Shan, et al.
Publicado: (2025)

Omnidirectional type inference for ML: principality any way
por: O'Brien, Alistair, et al.
Publicado: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
por: Kudasov, Nikolai, et al.
Publicado: (2024)

Efficient compilation and execution of synchronous programs via type-state programming
por: Malik, Avinash
Publicado: (2025)

Polyregular equivalence is undecidable in higher-order types
por: Bojańczyk, Mikołaj, et al.
Publicado: (2026)

ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
por: Bae, Suyoung, et al.
Publicado: (2026)

Vernacular Scripts in the NYPL Automated Bibliographic Control System
por: Malinconico, S. Michael, et al.
Publicado: (1977)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
por: Shree, Iti, et al.
Publicado: (2025)

Compiler support for semi-manual AoS-to-SoA conversions with data views
por: Radtke, Pawel K., et al.
Publicado: (2024)

ReDemon UI: Reactive Synthesis by Demonstration for Web UI
por: Lee, Jay, et al.
Publicado: (2025)

Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts
por: Mayer, Florian, et al.
Publicado: (2024)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
por: Zaliva, Vadim, et al.
Publicado: (2026)