:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Takyu, Kento, Ueda, Kazunori
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2411.14802
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Introducing Quantification into a Hierarchical Graph Rewriting Language
by: Mishina, Haruto, et al.
Published: (2024)

Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
by: Tei, Kayo, et al.
Published: (2025)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
by: Sano, Jin, et al.
Published: (2025)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
by: Accattoli, Beniamino
Published: (2022)

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
by: Chen, Chen, et al.
Published: (2024)

Dias: Dynamic Rewriting of Pandas Code
by: Baziotis, Stefanos, et al.
Published: (2023)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
by: Merckx, Jules, et al.
Published: (2025)

Rewrite System Showdown: Stochastic Search vs. EqSat
by: Hong, Qiantan, et al.
Published: (2026)

Eliminate Branches by Melding IR Instructions
by: Li, Yuze, et al.
Published: (2025)

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
by: Gross, Jason, et al.
Published: (2023)

A Distribution Semantics for Probabilistic Term Rewriting
by: Vidal, Germán
Published: (2024)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

Linearization via Rewriting (Long Version)
by: Lago, Ugo Dal, et al.
Published: (2025)

TensorRight: Automated Verification of Tensor Graph Rewrites
by: Arora, Jai, et al.
Published: (2025)

ViCAR: Visualizing Categories with Automated Rewriting in Coq
by: Shah, Bhakti, et al.
Published: (2024)

Confluence of Conditional Rewriting Modulo
by: Lucas, Salvador
Published: (2025)

Verifying Peephole Rewriting In SSA Compiler IRs
by: Bhat, Siddharth, et al.
Published: (2024)

On Complexity Bounds and Confluence of Parallel Term Rewriting
by: Baudon, Thaïs, et al.
Published: (2023)

Dead Gate Elimination
by: Chen, Yanbin, et al.
Published: (2025)

Elimination of annotation dependencies in validation for Modern JSON Schema
by: Attouche, Lyes, et al.
Published: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
by: Batz, Kevin, et al.
Published: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
by: Gao, Yifei, et al.
Published: (2025)

Axe 'Em: Eliminating Spurious States with Induction Axioms
by: Elad, Neta, et al.
Published: (2024)

Foundations of the GraphAlg Language
by: de Graaf, Daan, et al.
Published: (2026)

MoSE: Hierarchical Self-Distillation Enhances Early Layer Embeddings
by: Gurioli, Andrea, et al.
Published: (2025)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
by: Rein, Patrick, et al.
Published: (2024)

RAZOR: Sharpening Knowledge by Cutting Bias with Unsupervised Text Rewriting
by: Yang, Shuo, et al.
Published: (2024)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
by: Cai, Xuran
Published: (2025)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
by: Li, Hebi, et al.
Published: (2023)

Enhancing Embedding Performance through Large Language Model-based Text Enrichment and Rewriting
by: Harris, Nicholas, et al.
Published: (2024)

Corps: A Core Calculus of Hierarchical Choreographic Programming
by: Hirsch, Andrew K.
Published: (2024)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining
by: Sermchaiwong, Tanapoom, et al.
Published: (2025)

VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination
by: Hu, Muyan, et al.
Published: (2026)

Sharded Elimination and Combining for Highly-Efficient Concurrent Stacks
by: Singh, Ajay, et al.
Published: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
by: Gross, Jason, et al.
Published: (2022)

Enhancing Large Language Model-based Speech Recognition by Contextualization for Rare and Ambiguous Words
by: Nozawa, Kento, et al.
Published: (2024)

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

GeckoGraph: A Visual Language for Polymorphic Types
by: Fu, Shuai, et al.
Published: (2024)

LEGO: A Layout Expression Language for Code Generation of Hierarchical Mapping
by: Tavakkoli, Amir Mohammad, et al.
Published: (2025)

Verifying Cake-Cutting, Faster
by: Bertram, Noah, et al.
Published: (2024)