Image de couverture de livre

On Propositional Program Equivalence (extended abstract)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kappé, Tobias
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Partial Reductions for Kleene Algebra with Linear Hypotheses
par: Chung, Liam, et autres
Publié: (2026)

Algebras for Deterministic Computation Are Inherently Incomplete
par: Cate, Balder ten, et autres
Publié: (2024)

Kleene Algebra
par: Kappé, Tobias, et autres
Publié: (2025)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
par: Kappé, Tobias, et autres
Publié: (2023)

CF-GKAT: Efficient Validation of Control-Flow Transformations
par: Zhang, Cheng, et autres
Publié: (2024)

StacKAT: Infinite State Network Verification
par: Jacobs, Jules, et autres
Publié: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

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

Proving Functional Program Equivalence via Directed Lemma Synthesis
par: Sun, Yican, et autres
Publié: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
par: Goncharov, Sergey, et autres
Publié: (2024)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
par: Corrales-Garro, Francini, et autres
Publié: (2025)

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
par: Young, Halley
Publié: (2026)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
par: Parthasarathy, Gaurav, et autres
Publié: (2024)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
par: Britton, Matthew, et autres
Publié: (2026)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
par: Geißler, Dominik, et autres
Publié: (2025)

Equivalence Checking of ML GPU Kernels
par: Dubey, Kshitij, et autres
Publié: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
par: Geißler, Dominik, et autres
Publié: (2025)

Proof Repair across Quotient Type Equivalences
par: Viola, Cosmo, et autres
Publié: (2023)

Completeness in static analysis by abstract interpretation, a personal point of view
par: Monniaux, David
Publié: (2022)

Hyper Separation Logic (extended version)
par: Gospodinov, Trayan, et autres
Publié: (2026)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
par: Böhler, Timon, et autres
Publié: (2026)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
par: Fiore, Marcelo P., et autres
Publié: (2025)

Interaction Equivalence
par: Accattoli, Beniamino, et autres
Publié: (2024)

Reactive graphs in action (extended version)
par: Tinoco, David, et autres
Publié: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
par: Dardinier, Thibault, et autres
Publié: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
par: Wei, Anjiang, et autres
Publié: (2025)

Generating Equivalent Representations of Code By A Self-Reflection Approach
par: Li, Jia, et autres
Publié: (2024)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

TPDE: A Fast Adaptable Compiler Back-End Framework
par: Schwarz, Tobias, et autres
Publié: (2025)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
par: He, Yang, et autres
Publié: (2024)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

Parametrizing Reads-From Equivalence for Predictive Monitoring
par: Farzan, Azadeh, et autres
Publié: (2026)

Relaxed exception semantics for Arm-A (extended version)
par: Simner, Ben, et autres
Publié: (2024)

Learning logic programs by discovering higher-order abstractions
par: Hocquette, Céline, et autres
Publié: (2023)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
par: Yin, Jiaqi, et autres
Publié: (2025)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
par: Zenkner, Janis, et autres
Publié: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
par: Batz, Kevin, et autres
Publié: (2025)