Cover Image

Partial Reductions for Kleene Algebra with Linear Hypotheses

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chung, Liam, Kappé, Tobias
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Kleene Algebra
by: Kappé, Tobias, et al.
Published: (2025)

An Elementary Proof of the FMP for Kleene Algebra
by: Kappé, Tobias
Published: (2022)

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

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

On Tools for Completeness of Kleene Algebra with Hypotheses
by: Pous, Damien, et al.
Published: (2022)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

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

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

StacKAT: Infinite State Network Verification
by: Jacobs, Jules, et al.
Published: (2025)

Parsimonious Optimal Dynamic Partial Order Reduction
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
by: Yuan, Charles
Published: (2025)

Compressing Structured Tensor Algebra
by: Ghorbani, Mahdi, et al.
Published: (2024)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

Range Algebra for Safe Array Splits
by: Perisic, Aleksandar
Published: (2014)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
by: Ong, Shawn, et al.
Published: (2025)

Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages
by: Hopkins, Mark, et al.
Published: (2023)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

Universal Algebra and Effectful Computation
by: Rajesh, Nayan
Published: (2025)

Partial Evaluation, Whole-Program Compilation
by: Fallin, Chris, et al.
Published: (2024)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

CuTe Layout Representation and Algebra
by: Cecka, Cris
Published: (2026)

A General Completeness Theorem for Skip-free Star Algebras
by: Kappé, Tobias, et al.
Published: (2025)

Linear Constraints
by: Spiwack, Arnaud, et al.
Published: (2026)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
by: Heuvel, Bas van den, et al.
Published: (2025)

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

Maximal Simplification of Polyhedral Reductions
by: Narmour, Louis, et al.
Published: (2023)

Simplification of Polyhedral Reductions in Practice
by: Narmour, Louis, et al.
Published: (2024)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
by: Lee, Jay
Published: (2025)

Soundly Handling Linearity
by: Tang, Wenhao, et al.
Published: (2023)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
by: Tunç, Hünkar Can, et al.
Published: (2024)

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
by: Verter, Jan Liam, et al.
Published: (2024)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
by: Enea, Constantin, et al.
Published: (2026)

Fusing Gathers with Integer Linear Programming
by: van Balen, David, et al.
Published: (2024)

Efficient Cost Bounds with Linear Maps
by: Kahn, David M, et al.
Published: (2025)