Conference: WST 2018 (16th International Workshop on Termination)

Conference: WST 2018 (16th International Workshop on Termination)

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

Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations

Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations

Alicia Merayo and Samir Genaim

Procedure-Modular Termination Analysis

Procedure-Modular Termination Analysis

Cristina David, Daniel Kroening and Peter Schrammel

TTT2 with Termination Templates for Teaching

TTT2 with Termination Templates for Teaching

Jonas Schöpf and Christian Sternagel

Control-Flow Refinement via Partial Evaluation

Control-Flow Refinement via Partial Evaluation

Jesús J. Doménech, Samir Genaim and John P. Gallagher

Presentations in this collection: 4