Copertina

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Zhibo, Pfenning, Frank
Natura:	Preprint
Pubblicazione:	2023
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

Type-Based Termination for Futures
di: Somayyajula, Siva, et al.
Pubblicazione: (2021)

Dependent Type Refinements for Futures
di: Somayyajula, Siva, et al.
Pubblicazione: (2023)

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

An Empirical Study of Rational Tree Unification for miniKanren
di: Domoratskiy, Eridan, et al.
Pubblicazione: (2025)

Substructural Parametricity
di: Aberlé, C. B., et al.
Pubblicazione: (2025)

Adjoint Natural Deduction (Extended Version)
di: Jang, Junyoung, et al.
Pubblicazione: (2024)

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

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

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

CoLF Logic Programming as Infinitary Proof Exploration
di: Chen, Zhibo, et al.
Pubblicazione: (2025)

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

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

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

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

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

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)

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

Unification of Deterministic Higher-Order Patterns (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

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

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
di: Grandury, Marcos, et al.
Pubblicazione: (2025)

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

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
di: Sulzmann, Martin
Pubblicazione: (2026)

An Intermediate Program Representation for Optimizing Stream-Based Languages
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

Equational Bit-Vector Solving via Strong Gröbner Bases
di: Song, Jiaxin, et al.
Pubblicazione: (2024)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
di: de Vilhena, Paulo Emílio, et al.
Pubblicazione: (2021)

A Formally Verified Procedure for Width Inference in FIRRTL
di: Wang, Keyin, et al.
Pubblicazione: (2026)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)

A Probabilistic Choreography Language for PRISM
di: Carbone, Marco, et al.
Pubblicazione: (2025)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

A feasible and unitary quantum programming language
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)