:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Fort, Frédéric, Nowak, David, Rusu, Vlad
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2509.13019
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Symmetric Proofs of Parameterized Programs
di: Cheng, Ruotong, et al.
Pubblicazione: (2026)

Coinductive Proofs for Temporal Hyperliveness
di: Correnson, Arthur, et al.
Pubblicazione: (2025)

More Church-Rosser Proofs in BELUGA
di: Momigliano, Alberto, et al.
Pubblicazione: (2024)

Cyclic Proofs in Hoare Logic and its Reverse
di: Brotherston, James, et al.
Pubblicazione: (2025)

Zippy -- Generic White-Box Proof Search with Zippers
di: Kappelmann, Kevin
Pubblicazione: (2025)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
di: Gladshtein, Vladimir, et al.
Pubblicazione: (2024)

Proof systems for partial incorrectness logic (partial reverse Hoare logic)
di: Oda, Yukihiro
Pubblicazione: (2025)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
di: Vollmer, Victoria, et al.
Pubblicazione: (2024)

A Proof-Producing Compiler for Blockchain Applications
di: Avigad, Jeremy, et al.
Pubblicazione: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
di: Elad, Neta, et al.
Pubblicazione: (2025)

A Prolog Program for Bottom-up Evaluation
di: Warren, David S.
Pubblicazione: (2025)

Semantically Reflected Programs
di: Kamburjan, Eduard, et al.
Pubblicazione: (2025)

On Quantum Programming Languages
di: Valiron, Benoît
Pubblicazione: (2024)

Quantum Programming in Polylogarithmic Time
di: Ferrari, Florent, et al.
Pubblicazione: (2025)

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

Finite-Choice Logic Programming
di: Martens, Chris, et al.
Pubblicazione: (2024)

An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
di: Jeong, Gyeongwon, et al.
Pubblicazione: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

Thread and Memory-Safe Programming with CLASS
di: Caires, Luís
Pubblicazione: (2025)

Termination Analysis of Linear-Constraint Programs
di: Ben-Amram, Amir M., et al.
Pubblicazione: (2025)

Verifying Floating-Point Programs in Stainless
di: Gilot, Andrea, et al.
Pubblicazione: (2026)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

Functional Array Programming in an Extended Pi-Calculus
di: Hüttel, Hans, et al.
Pubblicazione: (2024)

FO-Complete Program Verification for Heap Logics
di: Murali, Adithya, et al.
Pubblicazione: (2026)

GATlab: Modeling and Programming with Generalized Algebraic Theories
di: Lynch, Owen, et al.
Pubblicazione: (2024)

A Deductive System for Contract Satisfaction Proofs
di: Correnson, Arthur, et al.
Pubblicazione: (2026)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
di: Teuber, Samuel, et al.
Pubblicazione: (2025)

An Intermediate Program Representation for Optimizing Stream-Based Languages
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

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

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Complete Local Reasoning About Parameterized Programs Over Topologies
di: Cheng, Ruotong, et al.
Pubblicazione: (2026)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

A Program Logic for Under-approximating Worst-case Resource Usage
di: Jin, Ziyue, et al.
Pubblicazione: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
di: Akshay, S., et al.
Pubblicazione: (2026)

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
di: Kifer, Michael, et al.
Pubblicazione: (2026)