:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Sun, Ke, Wang, Di, Bao, Yuyan, Wang, Meng, Hao, Dan
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2605.02963
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)

A Hoare Logic for Symmetry Properties
por: Mehta, Vaibhav, et al.
Publicado: (2025)

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

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

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

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

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

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

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
por: Bao, Yuyan, et al.
Publicado: (2025)

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)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
por: He, Siyuan, et al.
Publicado: (2025)

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)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
por: Jia, Songlin, et al.
Publicado: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
por: Deng, Haotian, et al.
Publicado: (2025)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
por: Xu, Ziyun, et al.
Publicado: (2026)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
por: Xu, Ziyun, et al.
Publicado: (2025)

Typestate via Revocable Capabilities
por: Jia, Songlin, et al.
Publicado: (2025)

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

Ground Stratification for a Logic of Definitions with Induction
por: Guermond, Nathan, et al.
Publicado: (2025)

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

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
por: Deng, Haotian, et al.
Publicado: (2025)

Recursive Mutexes in Separation Logic
por: Du, Ke, et al.
Publicado: (2026)

Towards Concurrent Quantitative Separation Logic
por: Fesefeldt, Ira, et al.
Publicado: (2022)

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

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
por: Huang, Hanxian, et al.
Publicado: (2024)

Partial Incorrectness Logic
por: Verscht, Lena, et al.
Publicado: (2025)

Composable Effect Handling for Programming LLM-integrated Scripts
por: Wang, Di
Publicado: (2025)

Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
por: Wang, Yu, et al.
Publicado: (2024)

Predictable Verification using Intrinsic Definitions
por: Murali, Adithya, et al.
Publicado: (2024)

Is Next Token Prediction Sufficient for GPT? Exploration on Code Logic Comprehension
por: Qi, Mengnan, et al.
Publicado: (2024)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
por: Xu, Han, et al.
Publicado: (2026)

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

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
por: Lian, Qihao, et al.
Publicado: (2025)

Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)

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

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

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
por: Wen, Hongbo, et al.
Publicado: (2024)

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

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