Cover Image

Automatic layout of railroad diagrams

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chiplunkar, Shardul, Pit-Claudel, Clément
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tracers for debugging and program exploration
by: Chiplunkar, Shardul, et al.
Published: (2026)

Incremental Proof Development in Dafny with Module-Based Induction
by: Ho, Son, et al.
Published: (2024)

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

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

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

Precise Reasoning About Container-Internal Pointers with Logical Pinning
by: Guan, Yawen, et al.
Published: (2025)

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

Source-to-Source Transformations for GPU Code Generation
by: de Castelnau, Julien, et al.
Published: (2026)

Verified and Optimized Implementation of Orthologic Proof Search
by: Guilloud, Simon, et al.
Published: (2025)

Inductive diagrams for causal reasoning
by: Castello, Jonathan, et al.
Published: (2023)

Tail Modulo Cons, OCaml, and Relational Separation Logic
by: Allain, Clément, et al.
Published: (2024)

Galois Slicing as Automatic Differentiation
by: Atkey, Robert, et al.
Published: (2025)

Automatically Verifying Replication-aware Linearizability
by: Soundarapandian, Vimala, et al.
Published: (2025)

Automatic Goal Clone Detection in Rocq
by: Ghanbari, Ali
Published: (2025)

Automatic Inference of Relational Object Invariants
by: Su, Yusen, et al.
Published: (2024)

Handling Exceptions and Effects with Automatic Resource Analysis
by: Chu, Ethan, et al.
Published: (2026)

Automatic Functional Differentiation in JAX
by: Lin, Min
Published: (2023)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
by: Lamouri, Djamel Rassem, et al.
Published: (2025)

Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
by: Vákár, Matthijs
Published: (2020)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
by: Estep, Sam
Published: (2024)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
by: Lian, Qihao, et al.
Published: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
by: Lim, Sangho, et al.
Published: (2025)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
by: Selabi, Elvis Konjoh, et al.
Published: (2026)

Automatic Differentiation for ML-family languages: correctness via logical relations
by: Nunes, Fernando Lucatelli, et al.
Published: (2022)

Automatic Generation of Python Programs Using Context-Free Grammars
by: Yamani, Kamel, et al.
Published: (2024)

CHAD: Combinatory Homomorphic Automatic Differentiation
by: Vákár, Matthijs, et al.
Published: (2021)

Analyzing the Impact of Fake News on the Anticipated Outcome of the 2024 Election Ahead of Time
by: Raza, Shaina, et al.
Published: (2023)

Combining Neural Architecture Search and Automatic Code Optimization: A Survey
by: Bachiri, Inas, et al.
Published: (2024)

ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions
by: Jain, Devansh, et al.
Published: (2025)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
by: Qiu, Ruidi, et al.
Published: (2024)

From Batch to Stream: Automatic Generation of Online Algorithms
by: Wang, Ziteng, et al.
Published: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022)

LINC: An In-Network Coding Approach to Tame Packet Loss in Hybrid Wireless-Fiber Backbones
by: Pit-Claudel, Benoit, et al.
Published: (2025)

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
by: Schulz-Rosengarten, Alexander, et al.
Published: (2024)

AutoPDL: Automatic Prompt Optimization for LLM Agents
by: Spiess, Claudio, et al.
Published: (2025)

Automatically Testing Functional Properties of Code Translation Models
by: Eniser, Hasan Ferit, et al.
Published: (2023)

Assured Automatic Programming via Large Language Models
by: Mirchev, Martin, et al.
Published: (2024)