Buchumschlag

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Akshay, S., Chakraborty, Supratik, Govind, R., Joshi, Aniruddha R.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Dependent Variables in Reactive Synthesis
von: Akshay, S., et al.
Veröffentlicht: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
von: Meyer, Roland, et al.
Veröffentlicht: (2024)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
von: Akshay, S., et al.
Veröffentlicht: (2025)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
von: Joshi, Aniruddha, et al.
Veröffentlicht: (2025)

Knowledge Compilation for Quantification in Alternating Automata
von: Akshay, S., et al.
Veröffentlicht: (2026)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
von: Stübinger, Terru, et al.
Veröffentlicht: (2023)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
von: Rustenholz, Louis, et al.
Veröffentlicht: (2024)

Program Synthesis is $Σ_3^0$-Complete
von: Kim, Jinwoo
Veröffentlicht: (2024)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Semantically Reflected Programs
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2025)

On Quantum Programming Languages
von: Valiron, Benoît
Veröffentlicht: (2024)

Linear Contextual Metaprogramming and Session Types
von: Ângelo, Pedro, et al.
Veröffentlicht: (2024)

Linearization via Rewriting (Long Version)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2025)

Symmetric Proofs of Parameterized Programs
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Dependent Multiplicities in Dependent Linear Type Theory
von: Doré, Maximilian
Veröffentlicht: (2025)

Quantum Programming in Polylogarithmic Time
von: Ferrari, Florent, et al.
Veröffentlicht: (2025)

Finite-Choice Logic Programming
von: Martens, Chris, et al.
Veröffentlicht: (2024)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
von: Accattoli, Beniamino
Veröffentlicht: (2022)

Verifying Floating-Point Programs in Stainless
von: Gilot, Andrea, et al.
Veröffentlicht: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Thread and Memory-Safe Programming with CLASS
von: Caires, Luís
Veröffentlicht: (2025)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

FO-Complete Program Verification for Heap Logics
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Functional Array Programming in an Extended Pi-Calculus
von: Hüttel, Hans, et al.
Veröffentlicht: (2024)

Pleasant Imperative Program Proofs with GallinaC
von: Fort, Frédéric, et al.
Veröffentlicht: (2025)

GATlab: Modeling and Programming with Generalized Algebraic Theories
von: Lynch, Owen, et al.
Veröffentlicht: (2024)

Can LLMs Perform Synthesis?
von: Egolf, Derek, et al.
Veröffentlicht: (2026)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
von: Giusti, Giulia, et al.
Veröffentlicht: (2025)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
von: Vollmer, Victoria, et al.
Veröffentlicht: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

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

Products of Recursive Programs for Hypersafety Verification (Extended Version)
von: Cheng, Ruotong, et al.
Veröffentlicht: (2025)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
von: Congard, Sidney, et al.
Veröffentlicht: (2025)

Complete Local Reasoning About Parameterized Programs Over Topologies
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)