Cover Image

Bialgebraic Reasoning on Stateful Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Goncharov, Sergey, Milius, Stefan, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Higher-order bialgebraic semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Towards a Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2022)

Towards a Higher-Order Bialgebraic Denotational Semantics
by: Goncharov, Sergey, et al.
Published: (2026)

Abstract Operational Methods for Call-by-Push-Value
by: Goncharov, Sergey, et al.
Published: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Algebraic Reasoning over Relational Structures
by: Jurka, Jan, et al.
Published: (2024)

Compositionality in Coalgebraic Trace Semantics
by: Jourde, Robin, et al.
Published: (2026)

Big Steps in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2025)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
by: Lenke, Fabian, et al.
Published: (2026)

Intrinsically Correct Algorithms and Recursive Coalgebras
by: Alexandru, Cass, et al.
Published: (2025)

Demystifying Codensity Monads via Duality
by: Lenke, Fabian, et al.
Published: (2025)

Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)

Efficient Coalgebraic Partition Refinement
by: Dorsch, Ulrich, et al.
Published: (2017)

Well-Founded Coalgebras Meet König's Lemma
by: Urbat, Henning, et al.
Published: (2025)

Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, et al.
Published: (2025)

The Only Distributive Law Over the Powerset Monad Is the One You Know
by: Goncharov, Sergey, et al.
Published: (2026)

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

Domain Reasoning in TopKAT
by: Zhang, Cheng, et al.
Published: (2024)

Small Scale Reflection for the Working Lean User
by: Gladshtein, Vladimir, et al.
Published: (2024)

Nominal Topology for Data Languages
by: Birkmann, Fabian, et al.
Published: (2023)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
by: Wißmann, Thorsten, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
by: Poli, Federico, et al.
Published: (2024)

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

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

Identity-Preserving Lax Extensions and Where to Find Them
by: Goncharov, Sergey, et al.
Published: (2024)

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

Axe 'Em: Eliminating Spurious States with Induction Axioms
by: Elad, Neta, et al.
Published: (2024)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
by: Goncharov, Sergey
Published: (2024)

On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)

A Probabilistic Choreography Language for PRISM
by: Carbone, Marco, et al.
Published: (2025)