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

Common meadows are enlargements of a field with an error value and a division function which is made total by setting 1/0 equal to said error value. We discuss properties and axiomatisations of common meadows, and of signed common meadows.

Moreover, we discuss signed infinite values which deviate from the infinite value of Anderson’s transrationals so that fracterm flattening is preserved. Using a modified quotient construction a transformation to a different enlargement of signed common meadows with infinite values.

slides (WADT2024-Bergstra.pdf)138KiB

Mon 8 Jul

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

13:30 - 15:00
WADT Keynote Session 2WADT Research 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
WADT Research papers
P: Thierry Boy de La Tour CNRS and University Grenoble Alpes
File Attached