EasyChair Smart SlideDocs/Log in
Conference: WPTE 2022 (9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Towards Corecursion Without Corecursion in Coq

Towards Corecursion Without Corecursion in Coq

Vlad Rusu and David Nowak

On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms

On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms

Naoki Nishida, Misaki Kojima and Takumi Kato

On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs

On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs

Shujun Zhang and Naoki Nishida

On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting

On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting

Misaki Kojima and Naoki Nishida

Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language

Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language

David Sabel and Manfred Schmidt-Schauss

Presentations in this collection: 5
Copyright © 2002 – 2025 EasyChair