Buchumschlag

Abstract Operational Methods for Call-by-Push-Value

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goncharov, Sergey, Tsampas, Stelios, Urbat, Henning
Format:	Preprint
Veröffentlicht:	2024
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)

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

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

Higher-order bialgebraic semantics
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 Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

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)

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

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
von: Goncharov, Sergey
Veröffentlicht: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
von: Accattoli, Beniamino
Veröffentlicht: (2024)

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

An Abstract Domain for Heap Commutativity (Extended Version)
von: Pincus, Jared, et al.
Veröffentlicht: (2024)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

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

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

Abstractions of Sequences, Functions and Operators
von: Rustenholz, Louis, et al.
Veröffentlicht: (2025)

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

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

Small Scale Reflection for the Working Lean User
von: Gladshtein, Vladimir, et al.
Veröffentlicht: (2024)

Algebraic Reasoning over Relational Structures
von: Jurka, Jan, et al.
Veröffentlicht: (2024)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
von: Lenke, Fabian, et al.
Veröffentlicht: (2026)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
von: Matsuoka, Satoshi
Veröffentlicht: (2026)

Context-Sensitive Abstract Interpretation of Dynamic Languages
von: Piszcz, Franciszek
Veröffentlicht: (2024)

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

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
von: Pizzo, Nicolò, et al.
Veröffentlicht: (2026)

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

Symbolic Specification and Reasoning for Quantum Data and Operations
von: Ying, Mingsheng
Veröffentlicht: (2025)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

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

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

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

Proceedings 9th edition of Working Formal Methods Symposium
von: Arusoaie, Andrei, et al.
Veröffentlicht: (2025)

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

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

More Church-Rosser Proofs in BELUGA
von: Momigliano, Alberto, et al.
Veröffentlicht: (2024)

A Nominal Approach to Probabilistic Separation Logic
von: Li, John M., et al.
Veröffentlicht: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2024)