V-Star: Learning Visibly Pushdown Grammars from Program Inputs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jia, Xiaodong, Tan, Gang
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Input-Driven Pushdown Automata with Translucent Input Letters
di: Kutrib, Martin, et al.
Pubblicazione: (2025)

Visibly Pushdown Languages in Groups
di: Ciobanu, Laura, et al.
Pubblicazione: (2026)

Reachability in Trace-Pushdown Systems
di: Köcher, Chris, et al.
Pubblicazione: (2025)

Passive Model Learning of Visibly Deterministic Context-free Grammars
di: Muškardin, Edi, et al.
Pubblicazione: (2025)

Explorability in Pushdown Automata
di: Bedi, Ayaan, et al.
Pubblicazione: (2025)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
di: Bizière, Clotilde, et al.
Pubblicazione: (2024)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
di: Wei, Zhenghao, et al.
Pubblicazione: (2024)

Bonding Grammars
di: Pshenitsyn, Tikhon
Pubblicazione: (2024)

Equivalence and Similarity Refutation for Probabilistic Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Refuting Equivalence in Probabilistic Programs with Conditioning
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
di: Geißler, Dominik, et al.
Pubblicazione: (2025)

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

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
di: Paul, Abhijit
Pubblicazione: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
di: Geißler, Dominik, et al.
Pubblicazione: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Computational Model for Parsing Expression Grammars
di: Rubtsov, Alexander, et al.
Pubblicazione: (2024)

Forbidden-Context & Ordered Grammar Systems
di: Fernau, Henning, et al.
Pubblicazione: (2026)

On Decidability and Expressive Power of Fusion Grammars
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

Tahr: The Generative Attribute Grammar Framework
di: Ciccaglione, Matteo, et al.
Pubblicazione: (2025)

Closure Properties of General Grammars -- Formally Verified
di: Dvorak, Martin, et al.
Pubblicazione: (2023)

Idefix-Closed Languages and Their Application in Contextual Grammars
di: Ködding, Marvin, et al.
Pubblicazione: (2025)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Synthesizing DSLs for Few-Shot Learning
di: Krogmeier, Paul, et al.
Pubblicazione: (2025)

Regular Grammars for Sets of Graphs of Tree-Width 2
di: Bozga, Marius, et al.
Pubblicazione: (2024)

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata
di: Yamakami, Tomoyuki
Pubblicazione: (2021)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
di: Ise, Daihei, et al.
Pubblicazione: (2024)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
di: Iosif, Radu, et al.
Pubblicazione: (2025)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
di: Morazán, Marco T., et al.
Pubblicazione: (2025)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
di: Göller, Stefan, et al.
Pubblicazione: (2023)

Characterizing Implementability of Global Protocols with Infinite States and Data
di: Li, Elaine, et al.
Pubblicazione: (2024)

Reactive graphs in action (extended version)
di: Tinoco, David, et al.
Pubblicazione: (2024)

Synchronisability in Mailbox Communication
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2024)

Verification under TSO with an infinite Data Domain
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
di: Vieira, Tim
Pubblicazione: (2026)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)

Saturating automata for game semantics
di: Dixon, Alex, et al.
Pubblicazione: (2023)

Decision Procedure for A Theory of String Sequences
di: Hu, Denghang, et al.
Pubblicazione: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
di: Stutz, Felix, et al.
Pubblicazione: (2025)

Maximal and minimal dynamic Petri net slicing
di: Llorens, Marisa, et al.
Pubblicazione: (2021)