FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Automating the Diagram Method to Prove Correctness of Program Transformations

David Sabel

Optimizing Space of Parallel Processes

Manfred Schmidt-Schauss and Nils Dallmeyer

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

Naoki Nishida and Yuya Maeda

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

Stefan Ciobaca and Sebastian Buruiana
Total: 5 presentations.