Buchumschlag

Monoid Structures on Indexed Containers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	De Pascalis, Michele, Uustalu, Tarmo, Veltrì, Niccolò
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Unifying Categorical View of Nondeterministic Iteration and Tests
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Derivatives for Containers in Univalent Foundations
von: Joram, Philipp, et al.
Veröffentlicht: (2025)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
von: Giusti, Giulia, et al.
Veröffentlicht: (2025)

Structural Analysis of GRAFCET Control Specifications
von: Schnakenbeck, Aron, et al.
Veröffentlicht: (2023)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

Verifying Lock-free Search Structure Templates
von: Patel, Nisarg, et al.
Veröffentlicht: (2024)

Automated Verification of Monotonic Data Structure Traversals in C
von: Sotoudeh, Matthew
Veröffentlicht: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
von: Gregersen, Simon Oddershede, et al.
Veröffentlicht: (2025)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
von: Gladshtein, Vladimir, et al.
Veröffentlicht: (2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Semi-Substructural Logics with Additives
von: Veltri, Niccolò, et al.
Veröffentlicht: (2024)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

A Probabilistic Choreography Language for PRISM
von: Carbone, Marco, et al.
Veröffentlicht: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Positive Sharing and Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

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

Expressive Power of One-Shot Control Operators and Coroutines
von: Kobayashi, Kentaro, et al.
Veröffentlicht: (2025)

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

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
von: Ukhanov, Evgeny
Veröffentlicht: (2025)

The Functional Machine Calculus III: Control
von: Heijltjes, Willem
Veröffentlicht: (2025)

Orthologic Type Systems
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
von: Rowicki, Radosław Jan, et al.
Veröffentlicht: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
von: Saurin, Alexis
Veröffentlicht: (2025)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
von: Tsukada, Takeshi, et al.
Veröffentlicht: (2025)

Coinductive Proofs for Temporal Hyperliveness
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

Constructive characterisations of the must-preorder for asynchrony
von: Bernardi, Giovanni, et al.
Veröffentlicht: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Extended Abstract: Mutable Objects with Several Implementations
von: Kaufmann, Matt, et al.
Veröffentlicht: (2025)

Cyclic Proofs in Hoare Logic and its Reverse
von: Brotherston, James, et al.
Veröffentlicht: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
von: Alexandru, Cass, et al.
Veröffentlicht: (2025)

Dependent Multiplicities in Dependent Linear Type Theory
von: Doré, Maximilian
Veröffentlicht: (2025)

Quantum Programming in Polylogarithmic Time
von: Ferrari, Florent, et al.
Veröffentlicht: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Partial Incorrectness Logic
von: Verscht, Lena, et al.
Veröffentlicht: (2025)