LFCS Seminar: 4 December 2020 - Koko Muroya

Title: Local Reasoning for Robust Observational Equivalence

Abstract:

We present a graph-rewriting abstract machine that is based on graph representation of programs. The graph representation yields natural concepts of locality and robustness for equational properties and reduction rules, which enable a novel flexible and powerful reasoning methodology about (type-free) languages with effects.

Affiliation: Kyoto University

Dec 04 2020 -

LFCS Seminar: 4 December 2020 - Koko Muroya

Speaker: Koko Muroya

Blackboard Collaborate
Invitation Only