Buchumschlag

Almost-Sure Termination by Guarded Refinement

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars
Format:	Preprint
Veröffentlicht:	2024
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

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

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
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)

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

Logical Relations for Formally Verified Authenticated Data Structures
von: Gregersen, Simon Oddershede, 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)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
von: Stassen, Philipp Jan Andries, et al.
Veröffentlicht: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

A denotationally-based program logic for higher-order store
von: Aagaard, Frederik Lerbjerg, et al.
Veröffentlicht: (2023)

A Demonic Outcome Logic for Randomized Nondeterminism
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
von: de Medeiros, Markus, et al.
Veröffentlicht: (2026)

Reasoning about Weak Isolation Levels in Separation Logic
von: Mathiasen, Anders Alnor, et al.
Veröffentlicht: (2025)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
von: Stepanenko, Sergei, et al.
Veröffentlicht: (2025)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
von: Kappé, Tobias, et al.
Veröffentlicht: (2023)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2026)

Dependent Type Refinements for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2023)

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

Non-Cartesian Guarded Recursion with Daggers
von: Lemonnier, Louis
Veröffentlicht: (2024)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2025)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
von: Stübinger, Terru, et al.
Veröffentlicht: (2023)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
von: Doyen, Laurent, et al.
Veröffentlicht: (2026)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2025)

Robust Almost-Sure Reachability in Multi-Environment MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2023)

Functional Array Programming in an Extended Pi-Calculus
von: Hüttel, Hans, et al.
Veröffentlicht: (2024)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

An Encoding for CLP Problems in SMT-LIB
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2024)

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

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

HaliVer: Deductive Verification and Scheduling Languages Join Forces
von: Haak, Lars B. van den, et al.
Veröffentlicht: (2024)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
von: Yao, Shucai, et al.
Veröffentlicht: (2025)