Buchumschlag

Realizability in Semantics-Guided Synthesis Done Eagerly

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Meyer, Roland, Tepe, Jakob, Wolff, Sebastian
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
von: Akshay, S., et al.
Veröffentlicht: (2026)

Oriented Metrics for Bottom-Up Enumerative Synthesis
von: Meyer, Roland, et al.
Veröffentlicht: (2025)

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

An Introduction to Different Approaches to Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2024)

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

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Disentangling Parallelism and Interference in Game Semantics
von: Castellan, Simon, et al.
Veröffentlicht: (2021)

Provenance Guided Rollback Suggestions
von: Zhao, David, et al.
Veröffentlicht: (2025)

Useful Evaluation: Syntax and Semantics (Technical Report)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
von: Hulak, David B., et al.
Veröffentlicht: (2026)

A Formal Semantics of the GraalVM Intermediate Representation
von: Webb, Brae J., et al.
Veröffentlicht: (2021)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

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

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

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
von: Sulzmann, Martin
Veröffentlicht: (2026)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
von: Su, Yuheng, et al.
Veröffentlicht: (2026)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
von: Zhu, Shaowei, et al.
Veröffentlicht: (2024)

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

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

Semantic Properties of Computations Defined by Elementary Inference Systems
von: Lucas, Salvador
Veröffentlicht: (2025)

Programming Really Is Simple Mathematics
von: Meyer, Bertrand, et al.
Veröffentlicht: (2025)

A Reversible Semantics for Janus
von: Lanese, Ivan, et al.
Veröffentlicht: (2026)

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

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

A Unified Framework for Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2025)

Syntax and Semantics of Linear Dependent Types
von: Vákár, Matthijs
Veröffentlicht: (2014)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
von: Lemonnier, Louis
Veröffentlicht: (2024)

Towards a Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2022)

From Semantics to Syntax: A Type Theory for Comprehension Categories
von: Najmaei, Niyousha, et al.
Veröffentlicht: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
von: Fages, François
Veröffentlicht: (2024)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
von: Ghica, Dan R., et al.
Veröffentlicht: (2022)

Towards a Coq-verified Chain of Esterel Semantics
von: Berry, Gérard, et al.
Veröffentlicht: (2019)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2025)

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