:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mochizuki, Fumika, Yamazaki, Tetsuro, Chiba, Shigeru
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2511.15821
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
by: Liu, Hanhaotian, et al.
Published: (2026)

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

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

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

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

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

A type system for data flow and alias analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)

Misleading Microbenchmarks on the Java Virtual Machines
by: Schiavio, Filippo, et al.
Published: (2026)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
by: Jung, Christoph, et al.
Published: (2025)

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

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
by: Oishi, Mebuki, et al.
Published: (2025)

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

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
by: Lin, Shaokai, et al.
Published: (2024)

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

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

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

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
by: Fang, Jingzhi, et al.
Published: (2026)

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

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

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

ALFRED: Virtual Memory for Intermittent Computing
by: Maioli, Andrea, et al.
Published: (2021)

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

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

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
by: Tanaka, Izumi, et al.
Published: (2026)

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

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

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
by: Paraskevopoulou, Zoe
Published: (2026)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst
by: Scott, Ryan G., et al.
Published: (2024)

Cerisier: A Program Logic for Attestation in a Capability Machine
by: Rousseau, June, et al.
Published: (2026)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Machine-Assisted Script Curation
by: Ciosici, Manuel R., et al.
Published: (2021)

Linear Cross-Lingual Mapping of Sentence Embeddings
by: Vasilyev, Oleg, et al.
Published: (2023)

Cost Analysis for Import and Export Using an Abstract Machine
by: Bennetzen, Benjamin, et al.
Published: (2024)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
by: Abad, Kyriel, et al.
Published: (2024)

The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
by: Drab, Tomasz
Published: (2024)

Modal Abstractions for Virtualizing Memory Addresses
by: Kuru, Ismail, et al.
Published: (2023)

A Machine Learning Approach Towards SKILL Code Autocompletion
by: Dehaerne, Enrique, et al.
Published: (2023)