Image de couverture de livre

Incorrectness Separation Logic with Arrays and Pointer Arithmetic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lee, Yeonseok, Nakazawa, Koji
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Relative Completeness of Incorrectness Separation Logic
par: Lee, Yeonseok, et autres
Publié: (2025)

Separation Logic for Verifying Physical Collisions of CNC Programs
par: Lee, Yeonseok
Publié: (2026)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
par: Su, Wanyun, et autres
Publié: (2024)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
par: Lee, Yeonseok
Publié: (2026)

Sufficient Incorrectness Logic: SIL and Separation SIL
par: Ascari, Flavio, et autres
Publié: (2023)

Partial Incorrectness Logic
par: Verscht, Lena, et autres
Publié: (2025)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
par: Zilberstein, Noam, et autres
Publié: (2023)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
par: Ito, Sohei, et autres
Publié: (2025)

Admissibility of Substitution Rule in Cyclic-Proof Systems
par: Saotome, Kenji, et autres
Publié: (2025)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
par: Zimmerman, Conrad, et autres
Publié: (2024)

Dynamic Separation Logic
par: de Boer, Frank S., et autres
Publié: (2023)

Combinatory Array Logic with Sums
par: Raya, Rodrigo
Publié: (2023)

Systematic Design of Separation Logics
par: Bruni, Roberto, et autres
Publié: (2026)

Bifurcation Logic: Separation Through Ordering
par: Galmiche, Didier, et autres
Publié: (2025)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
par: Jung, Jean Christoph, et autres
Publié: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
par: Kihara, Takayuki
Publié: (2024)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
par: Cristiá, Maximiliano, et autres
Publié: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Recursive Mutexes in Separation Logic
par: Du, Ke, et autres
Publié: (2026)

Deciding Boolean Separation Logic via Small Models (Technical Report)
par: Dacík, Tomáš, et autres
Publié: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2024)

Cryptis: Cryptographic Reasoning in Separation Logic
par: de Amorim, Arthur Azevedo, et autres
Publié: (2025)

Towards Concurrent Quantitative Separation Logic
par: Fesefeldt, Ira, et autres
Publié: (2022)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
par: Ascari, Flavio, et autres
Publié: (2025)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
par: Arratia, Argimiro, et autres
Publié: (2015)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)