Copertina

Inferring Input Grammars from Code with Symbolic Parsing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bettscheider, Leon, Zeller, Andreas
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Formal Languages and Automata Theory 68N30 (Primary), 68W32 (Secondary) D.2; D.2.5; D.2.1; F.3.1; F.3.2; F.4.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
di: Chen, Jinbao, et al.
Pubblicazione: (2024)

High-Performance Generation of Constrained Inputs
di: Crump, Addison, et al.
Pubblicazione: (2025)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
di: Siek, Jeremy G.
Pubblicazione: (2024)

LR Parsing of Permutation Phrases
di: Kostičová, Jana
Pubblicazione: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
di: Suwa, Takashi, et al.
Pubblicazione: (2026)

Inversion by Partial Evaluation: A Reversible Interpreter Experiment
di: Glück, Robert, et al.
Pubblicazione: (2024)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
di: Schaefer, Steven, et al.
Pubblicazione: (2025)

Explicit Weakening
di: Wadler, Philip
Pubblicazione: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

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

Probability and Angelic Nondeterminism with Multiset Semantics
di: Ong, Shawn, et al.
Pubblicazione: (2024)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
di: Parrinha, Francisco, et al.
Pubblicazione: (2026)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
di: Diekert, Volker, et al.
Pubblicazione: (2019)

Polymorphic Bottom-Up Weighted Relational Programming
di: Volkov, Dmitri
Pubblicazione: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
di: Volkov, Dmitri, et al.
Pubblicazione: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
di: Mammadov, Tural, et al.
Pubblicazione: (2024)

Computing Maximal Repeating Subsequences in a String
di: Gong, Mingyang, et al.
Pubblicazione: (2026)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
di: Wang, Peixin, et al.
Pubblicazione: (2025)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
di: Vandeloise, Mikel
Pubblicazione: (2025)

On Graph Grammars and Games
di: Vijayakumar, Jayakrishna, et al.
Pubblicazione: (2024)

New Fault Domains for Conformance Testing of Finite State Machines
di: Vaandrager, Frits, et al.
Pubblicazione: (2024)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
di: Pellen, Bram, et al.
Pubblicazione: (2025)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
di: Smith, Ian
Pubblicazione: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2026)

Specifying and Verifying the Convergence Stairs of the Collatz Program
di: Ebnenasir, Ali
Pubblicazione: (2024)

Dorst-Smeulders Coding for Arbitrary Binary Words
di: De Luca, Alessandro, et al.
Pubblicazione: (2025)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
di: Cojocaru, Liliana
Pubblicazione: (2015)

Dynamic Race Detection With O(1) Samples
di: Thokair, Mosaad Al, et al.
Pubblicazione: (2025)

Globality and Regions
di: Gramaglia, Hector
Pubblicazione: (2025)

Simple Modal Types for Functional Reactive Programming
di: Bahr, Patrick
Pubblicazione: (2025)

Practical Algebraic Stepping with Scoped Filters
di: Fei, Haoxiang, et al.
Pubblicazione: (2026)

Scoped and Typed Staging by Evaluation
di: Allais, Guillaume
Pubblicazione: (2023)

CBCL: Safe Self-Extending Agent Communication
di: O'Connor, Hugo
Pubblicazione: (2026)

On Modular Termination Proofs of General Logic Programs
di: Bossi, Annalisa, et al.
Pubblicazione: (2000)

Sequence-Based Abstract Interpretation of Prolog
di: Charlier, Baudouin Le, et al.
Pubblicazione: (2000)

Verified VCG and Verified Compiler for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
di: Liu, Kuangxiangzi, et al.
Pubblicazione: (2025)