Copertina

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Egolf, Derek, Tripakis, Stavros
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
di: Egolf, Derek, et al.
Pubblicazione: (2024)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
di: Egolf, Derek, et al.
Pubblicazione: (2025)

Can LLMs Perform Synthesis?
di: Egolf, Derek, et al.
Pubblicazione: (2026)

Towards Language Model Guided TLA+ Proof Automation
di: Zhou, Yuhao, et al.
Pubblicazione: (2025)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
di: Zhou, Yuhao, et al.
Pubblicazione: (2023)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
di: Schultz, William, et al.
Pubblicazione: (2024)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
di: Andresel, Medina, et al.
Pubblicazione: (2026)

Modular Automatic Complexity Analysis of Recursive Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2025)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
di: Chardonnet, Kostia, et al.
Pubblicazione: (2025)

Model Checking Temporal Properties of Recursive Probabilistic Programs
di: Winkler, Tobias, et al.
Pubblicazione: (2021)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
di: Cheng, Ruotong, et al.
Pubblicazione: (2025)

Program Synthesis in Saturation
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
di: Castro, Pablo F.
Pubblicazione: (2026)

Properties of UTxO Ledgers and Programs Implemented on Them
di: Vinogradova, Polina, et al.
Pubblicazione: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
di: Fandinno, Jorge, et al.
Pubblicazione: (2024)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
di: Kori, Mayuko
Pubblicazione: (2026)

Multi-clocked Guarded Recursion Beyond ω
di: Møgelberg, Rasmus Ejlers
Pubblicazione: (2025)

Extracting Policies from Quantified Answer Set Programs
di: Diéguez, Martín, et al.
Pubblicazione: (2026)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
di: Zhuk, Dmitriy
Pubblicazione: (2024)

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
di: Vinall-Smeeth, Harry
Pubblicazione: (2023)

Interpolation and Quantifiers in Ortholattices
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

The Undecidability of Quantified Announcements
di: Ågotnes, Thomas, et al.
Pubblicazione: (2024)

Satisfiability of Quantified Boolean Announcements
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2022)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
di: Lanzinger, Florian, et al.
Pubblicazione: (2024)

Common Foundations for Recursive Shape Languages
di: Ahmetaj, Shqiponja, et al.
Pubblicazione: (2026)

Universal Horn Sentences and the Joint Embedding Property
di: Bodirsky, Manuel, et al.
Pubblicazione: (2021)

On Efficient Algorithms For Partial Quantifier Elimination
di: Goldberg, Eugene
Pubblicazione: (2024)

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

Multi-Structural Games and Number of Quantifiers
di: Fagin, Ronald, et al.
Pubblicazione: (2021)

Partial Quantifier Elimination By Certificate Clauses
di: Goldberg, Eugene
Pubblicazione: (2020)

Multi-Property Synthesis
di: Weinhuber, Christoph, et al.
Pubblicazione: (2026)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
di: Mohamed, Mudathir, et al.
Pubblicazione: (2025)

Invariant Checking for SMT-based Systems with Quantifiers
di: Redondi, Gianluca, et al.
Pubblicazione: (2024)