Copertina

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Feifei, Chen, Xiao, Sun, Xiaoyu, Xiao, Xi, Wang, Shaohua, Ding, Yong, Wen, Sheng, Li, Qing
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)

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

Fast Deterministic Black-box Context-free Grammar Inference
di: Arefin, Mohammad Rifat, et al.
Pubblicazione: (2023)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
di: Schmellenkamp, Marko, et al.
Pubblicazione: (2024)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
di: Arefin, Mohammad Rifat, et al.
Pubblicazione: (2025)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
di: Mündler, Niels, et al.
Pubblicazione: (2025)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
di: Sun, Zhensu, et al.
Pubblicazione: (2024)

Vbox: Efficient Black-Box Serializability Verification
di: Sun, Weihua, et al.
Pubblicazione: (2025)

Local Type Inference for Context-Free Session Types
di: Almeida, Bernardo, et al.
Pubblicazione: (2025)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
di: Liang, Qingyuan, et al.
Pubblicazione: (2025)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
di: Wang, Mingxiu, et al.
Pubblicazione: (2025)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
di: Jia, Xiaodong, et al.
Pubblicazione: (2024)

Is Programming by Example solved by LLMs?
di: Li, Wen-Ding, et al.
Pubblicazione: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
di: Rossi, Roberto, et al.
Pubblicazione: (2026)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

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

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
di: Muravev, Ilia
Pubblicazione: (2024)

Structured Prompt Language: Declarative Context Management for LLMs
di: Gong, Wen G.
Pubblicazione: (2026)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
di: Barke, Shraddha, et al.
Pubblicazione: (2024)

Program Analysis via Multiple Context Free Language Reachability
di: Conrado, Giovanna Kobus, et al.
Pubblicazione: (2024)

Multi-Language Probabilistic Programming
di: Stites, Sam, et al.
Pubblicazione: (2025)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
di: Xia, Shihao, et al.
Pubblicazione: (2026)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
di: Wang, Peixin, et al.
Pubblicazione: (2023)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
di: Liu, Ruibang, et al.
Pubblicazione: (2024)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
di: Melcer, Daniel, et al.
Pubblicazione: (2024)

Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
di: Ding, Yaoyao, et al.
Pubblicazione: (2025)

Grammar Repair with Examples and Tree Automata: Extended Version
di: Lee, Yunjeong, et al.
Pubblicazione: (2026)

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
di: Zhang, Xiao, et al.
Pubblicazione: (2025)

UBfuzz: Finding Bugs in Sanitizer Implementations
di: Li, Shaohua, et al.
Pubblicazione: (2024)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
di: Shen, Chen, et al.
Pubblicazione: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
di: Xiong, Jing, et al.
Pubblicazione: (2026)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
di: Pointner, Andreas, et al.
Pubblicazione: (2025)

MINISA: Minimal Instruction Set Architecture for Next-gen Reconfigurable Inference Accelerator
di: Tong, Jianming, et al.
Pubblicazione: (2026)

A Programming Language for Feasible Solutions
di: Chen, Weijun, et al.
Pubblicazione: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
di: He, Yifeng, et al.
Pubblicazione: (2025)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
di: Li, Minda, et al.
Pubblicazione: (2026)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
di: Zhang, Weixing, et al.
Pubblicazione: (2024)

Unraveling Syntax: How Language Models Learn Context-Free Grammars
di: Schulz, Laura Ying, et al.
Pubblicazione: (2025)

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

Transition-Oriented Programming: Developing Provably Correct Systems
di: Ding, Yepeng
Pubblicazione: (2020)