Buchumschlag

Context-Dependent Effects and Concurrency in Guarded Interaction Trees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Stepanenko, Sergei, Nardino, Emma, Marionneau, Virgil, Frumin, Dan, Timany, Amin, Birkedal, Lars
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Programming Languages D.2.4; D.3.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Uniqueness is Separation
von: O'Connor, Liam, et al.
Veröffentlicht: (2026)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

A New Interaction Concept for Interactive and Autoactive Program Verification
von: Pfeifer, Wolfram, et al.
Veröffentlicht: (2026)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
von: Frenkel, Eden, et al.
Veröffentlicht: (2026)

Model Checking Probabilistic Operator Precedence Automata
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2024)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

Verification of E-Voting Algorithms in Dafny
von: Büttner, Robert, et al.
Veröffentlicht: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
von: Sextl, Florian, et al.
Veröffentlicht: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
von: Chiari, Michele, et al.
Veröffentlicht: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
von: Esen, Zafer, et al.
Veröffentlicht: (2025)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
von: Reinhard, Tobias
Veröffentlicht: (2024)

Automatic Function Annotations for Hoare Logic
von: Matichuk, Danielle
Veröffentlicht: (2012)

Modal Verification Patterns for Systems Software
von: Kuru, Ismail, et al.
Veröffentlicht: (2025)

Quantitative Verification with Neural Networks
von: Abate, Alessandro, et al.
Veröffentlicht: (2023)

Space-time process algebra with asynchronous communication
von: Bergstra, J. A., et al.
Veröffentlicht: (2024)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Why does it fail? Explanation of verification failures
von: Eriksson, Lars-Henrik
Veröffentlicht: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
von: Waldinger, Richard
Veröffentlicht: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

Uniform Substitution for Differential Refinement Logic
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2024)

Quantifying Confidence in Assurance 2.0 Arguments
von: Bloomfield, Robin, et al.
Veröffentlicht: (2026)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

Automated Consistency Analysis for Legal Contracts
von: Khoja, Alan, et al.
Veröffentlicht: (2025)

Formal Verification of Imperative First-Class Functions in Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Complementing an imperative process algebra with a rely/guarantee logic
von: Middelburg, C. A.
Veröffentlicht: (2025)

Probabilistic imperative process algebra
von: Middelburg, C. A.
Veröffentlicht: (2026)

Bottom-up computation using trees of sublists (Functional Pearl)
von: Mu, Shin-Cheng
Veröffentlicht: (2023)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
von: Guan, Yawen, et al.
Veröffentlicht: (2025)

Mechanizing Operads with Event-B
von: Attiogbé, Christian
Veröffentlicht: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
von: Baier, Daniel, et al.
Veröffentlicht: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
von: Ates, Salih, et al.
Veröffentlicht: (2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
von: Knothe, David, et al.
Veröffentlicht: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
von: McCann, Alan L.
Veröffentlicht: (2026)

Ground Stratification for a Logic of Definitions with Induction
von: Guermond, Nathan, et al.
Veröffentlicht: (2025)

A Graphical Interface for Category Theory Proofs in Coq
von: Chabassier, Luc
Veröffentlicht: (2025)