Conference: WPTE 2018 (Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation)

Conference: WPTE 2018 (Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation)

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

Automating the Diagram Method to Prove Correctness of Program Transformations

Automating the Diagram Method to Prove Correctness of Program Transformations

Optimizing Space of Parallel Processes

Optimizing Space of Parallel Processes

Manfred Schmidt-Schauss and Nils Dallmeyer

On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems

On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems

Yoshiaki Kanazawa and Naoki Nishida

On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions

On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions

Naoki Nishida and Yuya Maeda

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Stefan Ciobaca and Sebastian Buruiana

Presentations in this collection: 5