Copertina

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Poli, Federico, Denis, Xavier, Müller, Peter, Summers, Alexander J.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

Reasoning about Weak Isolation Levels in Separation Logic
di: Mathiasen, Anders Alnor, et al.
Pubblicazione: (2025)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
di: de Vilhena, Paulo Emílio, et al.
Pubblicazione: (2021)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
di: Aguirre, Alejandro, et al.
Pubblicazione: (2024)

RustyDL: A Program Logic for Rust
di: Drodt, Daniel, et al.
Pubblicazione: (2026)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
di: Gladshtein, Vladimir, et al.
Pubblicazione: (2024)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
di: Lucas, Salvador
Pubblicazione: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
di: Yu, Nengkun, et al.
Pubblicazione: (2025)

Verification of Recursively Defined Quantum Circuits
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Domain Reasoning in TopKAT
di: Zhang, Cheng, et al.
Pubblicazione: (2024)

Bialgebraic Reasoning on Stateful Languages
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

Linearization via Rewriting (Long Version)
di: Lago, Ugo Dal, et al.
Pubblicazione: (2025)

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
di: Paganoni, Marco, et al.
Pubblicazione: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
di: Bao, Jialu, et al.
Pubblicazione: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
di: Lööw, Andreas, et al.
Pubblicazione: (2024)

Complete Local Reasoning About Parameterized Programs Over Topologies
di: Cheng, Ruotong, et al.
Pubblicazione: (2026)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
di: Zilberstein, Noam, et al.
Pubblicazione: (2023)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
di: Lahav, Ori, et al.
Pubblicazione: (2023)

CSLib: The Lean Computer Science Library
di: Barrett, Clark, et al.
Pubblicazione: (2026)

A Coq Library of Sets for Teaching Denotational Semantics
di: Cao, Qinxiang, et al.
Pubblicazione: (2024)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
di: Montesi, Fabrizio, et al.
Pubblicazione: (2026)

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
di: Henson, Christopher, et al.
Pubblicazione: (2026)

Predictable Verification using Intrinsic Definitions
di: Murali, Adithya, et al.
Pubblicazione: (2024)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
di: Grandury, Marcos, et al.
Pubblicazione: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)

Structural Analysis of GRAFCET Control Specifications
di: Schnakenbeck, Aron, et al.
Pubblicazione: (2023)

Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
di: Yubeaton, Patrick, et al.
Pubblicazione: (2025)

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)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

A Formal Semantics of the GraalVM Intermediate Representation
di: Webb, Brae J., et al.
Pubblicazione: (2021)

Finite-Choice Logic Programming
di: Martens, Chris, et al.
Pubblicazione: (2024)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
di: Hulak, David B., et al.
Pubblicazione: (2026)

Symbolic Specification and Reasoning for Quantum Data and Operations
di: Ying, Mingsheng
Pubblicazione: (2025)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)