Buchumschlag

Towards a Higher-Order Bialgebraic Denotational Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goncharov, Sergey, Peressotti, Marco, Tsampas, Stelios, Urbat, Henning, Volpe, Stefano
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Stateful Languages
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Towards a Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2022)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Abstract Operational Methods for Call-by-Push-Value
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Higher-order bialgebraic semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Big Steps in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Compositionality in Coalgebraic Trace Semantics
von: Jourde, Robin, et al.
Veröffentlicht: (2026)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

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

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

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

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
von: Montesi, Fabrizio, et al.
Veröffentlicht: (2026)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
von: Ghica, Dan R., et al.
Veröffentlicht: (2022)

Higher Order Automatic Differentiation of Higher Order Functions
von: Huot, Mathieu, et al.
Veröffentlicht: (2021)

The Denotational Semantics of SSA
von: Ghalayini, Jad Elkhaleq, et al.
Veröffentlicht: (2024)

Higher-Order Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2023)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

On Higher-Order Reachability Games vs May Reachability
von: Asada, Kazuyuki, et al.
Veröffentlicht: (2022)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
von: Chirica, Ion, et al.
Veröffentlicht: (2025)

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

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
von: Timany, Amin, et al.
Veröffentlicht: (2021)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
von: Chen, Zhibo, et al.
Veröffentlicht: (2023)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
von: Peressotti, Marco
Veröffentlicht: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2026)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
von: Aguirre, Alejandro, et al.
Veröffentlicht: (2024)

The Power of Negation in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2025)

Higher-Order Behavioural Conformances via Fibrations
von: Urbat, Henning
Veröffentlicht: (2025)

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

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2025)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

Semantically Reflected Programs
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2025)

An Introduction to Different Approaches to Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2024)

Disentangling Parallelism and Interference in Game Semantics
von: Castellan, Simon, et al.
Veröffentlicht: (2021)

Towards a Coq-verified Chain of Esterel Semantics
von: Berry, Gérard, et al.
Veröffentlicht: (2019)

Useful Evaluation: Syntax and Semantics (Technical Report)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
von: Meyer, Roland, et al.
Veröffentlicht: (2024)