Copertina

A Hoare Logic for Symmetry Properties

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mehta, Vaibhav, Hsu, Justin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
di: Wu, Shushu, et al.
Pubblicazione: (2025)

Towards Definitional Interpreters for Hoare Logics
di: Sun, Ke, et al.
Pubblicazione: (2026)

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

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
di: Nagy, Shaan, et al.
Pubblicazione: (2024)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
di: Tanaka, Izumi, et al.
Pubblicazione: (2026)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
di: Zimmerman, Conrad, et al.
Pubblicazione: (2024)

A Practical Quantum Hoare Logic with Classical Variables, I
di: Ying, Mingsheng
Pubblicazione: (2024)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
di: Verscht, Lena, et al.
Pubblicazione: (2024)

Synthesizing Backward Error Bounds, Backward
di: Zielinski, Laura, et al.
Pubblicazione: (2026)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
di: Sundaram, Aarthi, et al.
Pubblicazione: (2021)

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

Numerical Fuzz: A Type System for Rounding Error Analysis
di: Kellison, Ariel E., et al.
Pubblicazione: (2024)

SafeTree: Expressive Tree Policies for Microservices
di: Grewal, Karuna, et al.
Pubblicazione: (2025)

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

Data-Driven Invariant Learning for Probabilistic Programs
di: Bao, Jialu, et al.
Pubblicazione: (2021)

From Program Logics to Language Logics
di: Cimini, Matteo
Pubblicazione: (2024)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
di: Flanagan, Cormac, et al.
Pubblicazione: (2024)

A Monadic Implementation of Functional Logic Programs
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Functional Logic Program Transformations
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Context-Aware Separation Logic
di: Meyer, Roland, et al.
Pubblicazione: (2023)

Logical Relations for Session-Typed Concurrency
di: Balzer, Stephanie, et al.
Pubblicazione: (2023)

Hyper Separation Logic (extended version)
di: Gospodinov, Trayan, et al.
Pubblicazione: (2026)

Modeling Reachability Types with Logical Relations
di: Bao, Yuyan, et al.
Pubblicazione: (2023)

A Language-Agnostic Logical Relation for Message-Passing Protocols
di: Zhang, Tesla, et al.
Pubblicazione: (2025)

Cerisier: A Program Logic for Attestation in a Capability Machine
di: Rousseau, June, et al.
Pubblicazione: (2026)

Bean: A Language for Backward Error Analysis
di: Kellison, Ariel E., et al.
Pubblicazione: (2025)

Verification Algorithms for Automated Separation Logic Verifiers
di: Eilers, Marco, et al.
Pubblicazione: (2024)

Tail Modulo Cons, OCaml, and Relational Separation Logic
di: Allain, Clément, et al.
Pubblicazione: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2024)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
di: Zilberstein, Noam
Pubblicazione: (2024)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
di: Ling, Hongyi, et al.
Pubblicazione: (2026)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
di: Yao, Yue, et al.
Pubblicazione: (2024)

Compilation of Modular and General Sparse Workspaces
di: Zhang, Genghan, et al.
Pubblicazione: (2024)

Unrealizability Logic
di: Kim, Jinwoo, et al.
Pubblicazione: (2022)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
di: Zhang, Tesla, et al.
Pubblicazione: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
di: Foo, Darius, et al.
Pubblicazione: (2023)

On Computational Indistinguishability and Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
di: Moine, Alexandre, et al.
Pubblicazione: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
di: Warren, David S., et al.
Pubblicazione: (2024)

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)