Separation logic: a logic for shared mutable data structures

• Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control

  2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

  0

  citations
• Beyond Concurrent Separation Logic: Who is Afraid of Completeness Proofs?

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  0

  citations
• Footprint Logic for Object-Oriented Components (extended paper)

  2024 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

  0

  citations
• A sound and complete proof system for separation logic (part 1)

  2024 other Computer Science Logic, programming, and type systems Open access

  0

  citations
• Dynamic Separation Logic

  2023 Electronic Notes in Theoretical Informatics and Computer Science article Computer Science Logic, programming, and type systems Open access

  1

  citations
• A First-order Logic with Frames

  2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

  2

  citations
• The Logic of Separation Logic: Models and Proofs

  2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  1

  citations
• Model-guided synthesis of inductive lemmas for FOL with least fixpoints

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• Reasoning about distributed reconfigurable systems

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  6

  citations
• Integrating ADTs in KeY and their application to history-based reasoning about collection

  2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

  1

  citations
• Weighted programming: a programming paradigm for specifying mathematical models

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  18

  citations
• Foundations for Entailment Checking in Quantitative Separation Logic

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  4

  citations
• Footprint Logic for Object-Oriented Components

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  1

  citations
• Separation logic and logics with team semantics

  2021 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

  3

  citations
• Local Reasoning about Parameterized Reconfigurable Distributed Systems

  2021 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

  0

  citations
• Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints

  2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

  0

  citations
• A First-Order Logic with Frames

  2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  6

  citations

17 results