Imagen de Portada

A Hoare Logic for Symmetry Properties

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mehta, Vaibhav, Hsu, Justin
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

Synthesizing Backward Error Bounds, Backward
por: Zielinski, Laura, et al.
Publicado: (2026)

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

Proof systems for partial incorrectness logic (partial reverse Hoare logic)
por: Oda, Yukihiro
Publicado: (2025)

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

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

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

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

From Program Logics to Language Logics
por: Cimini, Matteo
Publicado: (2024)

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

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

Functional Logic Program Transformations
por: Hanus, Michael, et al.
Publicado: (2026)

Context-Aware Separation Logic
por: Meyer, Roland, et al.
Publicado: (2023)

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

Hyper Separation Logic (extended version)
por: Gospodinov, Trayan, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

Unrealizability Logic
por: Kim, Jinwoo, et al.
Publicado: (2022)

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

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

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

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

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

Explaining Explanations in Probabilistic Logic Programming
por: Vidal, Germán
Publicado: (2024)