Copertina

Logical Predicates in Higher-Order Mathematical Operational Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Goncharov, Sergey, Santamaria, Alessio, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Higher-order bialgebraic semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

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

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

Bialgebraic Reasoning on Stateful Languages
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

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

Compositionality in Coalgebraic Trace Semantics
di: Jourde, Robin, et al.
Pubblicazione: (2026)

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

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
di: Timany, Amin, et al.
Pubblicazione: (2021)

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

Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
di: Verscht, Lena, et al.
Pubblicazione: (2024)

Higher-Order Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2023)

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

On Higher-Order Reachability Games vs May Reachability
di: Asada, Kazuyuki, et al.
Pubblicazione: (2022)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
di: Chirica, Ion, et al.
Pubblicazione: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
di: Chen, Zhibo, et al.
Pubblicazione: (2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

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

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
di: Zimmerman, Conrad, et al.
Pubblicazione: (2024)

The Power of Negation in Higher-Order Datalog
di: Charalambidis, Angelos, et al.
Pubblicazione: (2025)

Higher-Order Behavioural Conformances via Fibrations
di: Urbat, Henning
Pubblicazione: (2025)

Unrealizability Logic
di: Kim, Jinwoo, et al.
Pubblicazione: (2022)

Partial Incorrectness Logic
di: Verscht, Lena, et al.
Pubblicazione: (2025)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
di: Zilberstein, Noam
Pubblicazione: (2024)

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

Finite-Choice Logic Programming
di: Martens, Chris, et al.
Pubblicazione: (2024)

Recursive Mutexes in Separation Logic
di: Du, Ke, et al.
Pubblicazione: (2026)

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

The Stable Model Semantics for Higher-Order Logic Programming
di: Bogaerts, Bart, et al.
Pubblicazione: (2024)

Ordered Adjoint Logic (Extended Version)
di: Roshal, Sophia, et al.
Pubblicazione: (2026)

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

A Nominal Approach to Probabilistic Separation Logic
di: Li, John M., et al.
Pubblicazione: (2024)

A Demonic Outcome Logic for Randomized Nondeterminism
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)