Buchumschlag

On Higher-Order Reachability Games vs May Reachability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki
Format:	Preprint
Veröffentlicht:	2022
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

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
von: Endo, Ryunosuke, et al.
Veröffentlicht: (2025)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
von: Deng, Haotian, et al.
Veröffentlicht: (2025)

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

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

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

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
von: Haselwarter, Philipp G., 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 Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
von: Katsura, Hiroyuki, et al.
Veröffentlicht: (2025)

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)

Generalised Reachability Games Revisited
von: Bose, Sougata, 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)

Reachability in 3-VASS is Elementary
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

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

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

Improved Algorithm for Reachability in $d$-VASS
von: Fu, Yuxi, et al.
Veröffentlicht: (2024)

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

Memoryless Strategies in Stochastic Reachability Games
von: Kiefer, Stefan, et al.
Veröffentlicht: (2024)

On the Reachability Problem for Two-Dimensional Branching VASS
von: Bizière, Clotilde, et al.
Veröffentlicht: (2025)

Reachability in Geometrically $d$-Dimensional VASS
von: Fu, Yuxi, et al.
Veröffentlicht: (2025)

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

PVASS Reachability is Decidable
von: Guttenberg, Roland, et al.
Veröffentlicht: (2025)

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

Improving Reachability in Vector Addition Systems through Pumpability
von: Chen, Weijun, et al.
Veröffentlicht: (2026)

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

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

The Tractability Border of Reachability in Simple Vector Addition Systems with States
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

Reachability in Vector Addition System with States Parameterized by Geometric Dimension
von: Zheng, Yangluo
Veröffentlicht: (2024)

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

Reachability and Safety Games under TSO Semantics
von: Spengler, Stephan
Veröffentlicht: (2024)

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
von: Lemke, Caroline, et al.
Veröffentlicht: (2025)

Trees in Coalgebra from Generalized Reachability
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2025)

Property Directed Reachability with Extended Resolution
von: Luka, Andrew, et al.
Veröffentlicht: (2025)

Multiple Reachability in Linear Dynamical Systems
von: Karimov, Toghrul, et al.
Veröffentlicht: (2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
von: Rustenholz, Louis, et al.
Veröffentlicht: (2024)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)