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