WADT 2024
Mon 8 Jul 2024 Enschede, Netherlands
co-located with STAF 2024
Mon 8 Jul 2024 14:30 - 15:00 at Waaier 3 - WADT Keynote Session 2 Chair(s): Uwe Wolter

What are the legitimate morphisms between algebraic graph rewrite rules? The question is complicated by the diversity of approaches. From the familiar Double-Pushout (DPO) to the more recent PBPO and many others, the rules have different shapes, semantics (defined by direct transformation diagrams) and even matchings. We propose to represent these approaches by categories of rules, direct transformations and matchings related by functors in Rewriting Environments with Matchings. From these we extract a so-called X-functor whose properties are key to make rule morphisms meaningful. We show that these properties are preserved by combining approaches and by restricting them to strict matchings.

Mon 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
WADT Keynote Session 2Research papers / STAF Keynotes at Waaier 3
Chair(s): Uwe Wolter University of Bergen
13:30
60m
Keynote
WADT Keynote 2 - Common Meadows with Infinite Values
STAF Keynotes
K: Jan Bergstra University of Amsterdam
File Attached
14:30
30m
Talk
Categories of Algebraic Rewrite Rules
Research papers
P: Thierry Boy de La Tour CNRS and University Grenoble Alpes
File Attached