Buchumschlag

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Muravev, Ilia
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Program Analysis via Multiple Context Free Language Reachability
von: Conrado, Giovanna Kobus, et al.
Veröffentlicht: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
von: Deng, Haotian, et al.
Veröffentlicht: (2025)

Pathological Cases for a Class of Reachability-Based Garbage Collectors
von: Sotoudeh, Matthew
Veröffentlicht: (2025)

Modeling Reachability Types with Logical Relations
von: Bao, Yuyan, et al.
Veröffentlicht: (2023)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)

On Higher-Order Reachability Games vs May Reachability
von: Asada, Kazuyuki, et al.
Veröffentlicht: (2022)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
von: Bolotina, Anna, et al.
Veröffentlicht: (2025)

Local Type Inference for Context-Free Session Types
von: Almeida, Bernardo, et al.
Veröffentlicht: (2025)

Optimized Execution of FreeCHR
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
von: Jia, Songlin, et al.
Veröffentlicht: (2024)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
von: He, Siyuan, et al.
Veröffentlicht: (2025)

Automatic Generation of Python Programs Using Context-Free Grammars
von: Yamani, Kamel, et al.
Veröffentlicht: (2024)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
von: Schmellenkamp, Marko, et al.
Veröffentlicht: (2024)

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
von: Zhang, Qirun
Veröffentlicht: (2024)

Structured Prompt Language: Declarative Context Management for LLMs
von: Gong, Wen G.
Veröffentlicht: (2026)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
von: Barke, Shraddha, et al.
Veröffentlicht: (2024)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
von: Endo, Ryunosuke, et al.
Veröffentlicht: (2025)

Algorithmic Language Models with Neurally Compiled Libraries
von: Saldyt, Lucas, et al.
Veröffentlicht: (2024)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
von: Mündler, Niels, et al.
Veröffentlicht: (2025)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
von: Ji, Ruyi, et al.
Veröffentlicht: (2022)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Leveraging Large Language Models for Generalizing Peephole Optimizations
von: Liao, Chunhao, et al.
Veröffentlicht: (2026)

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

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
von: Luo, Junjie, et al.
Veröffentlicht: (2024)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
von: Zaliva, Vadim, et al.
Veröffentlicht: (2026)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
von: Vieira, Tim
Veröffentlicht: (2026)

Context-Aware Separation Logic
von: Meyer, Roland, et al.
Veröffentlicht: (2023)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
von: Deng, Haotian, et al.
Veröffentlicht: (2025)

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

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
von: Albakri, Hossein, et al.
Veröffentlicht: (2025)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
von: Randone, Francesca, et al.
Veröffentlicht: (2026)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
von: Pirkelbauer, Peter, et al.
Veröffentlicht: (2025)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
von: Salgado, Ronie
Veröffentlicht: (2024)

Deadlock-free Context-free Session Types
von: Mordido, Andreia, et al.
Veröffentlicht: (2025)

The Incredible Shrinking Context... in a Decompiler Near You
von: Lagouvardos, Sifis, et al.
Veröffentlicht: (2024)

Härpfer's Extended Indispensability Algorithm in Z
von: Lepper, Markus, et al.
Veröffentlicht: (2025)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
von: Lin, Hongyu, et al.
Veröffentlicht: (2025)

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
von: Qiu, Lei, et al.
Veröffentlicht: (2026)

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)