SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Wed 7 Dec 2022 13:30 - 14:10 at Seminar Room G007 - Session 7. Grammars, Parsing and Theory Chair(s): Marjan Mernik

Inside many software languages lives an expression language that caters for the computation of single values from single values. These languages' fixation on single-valuedness is often at odds with their application domains, in which many values, or plurals, regularly occur in the places of single. While the classical mathematical means of dealing with plurals is the set, in computing, other representations have evolved, notably strings and the much lesser known bunches. We review bunch theory in the context of expression languages including non-recursive functions, and show how giving bunches set semantics suggests that evaluating bunch functions amounts to computing with relations. We maintain that the ensuing seamless integration of relations in expression languages that otherwise know only functions makes a worthwhile contribution in a field in which the difference between modeling, with its preference for relations, and programming, with its preference for functions, is increasingly considered accidental.

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Session 7. Grammars, Parsing and TheorySLE at Seminar Room G007
Chair(s): Marjan Mernik University of Maribor
13:30
40m
Talk
The Semantics of PluralsVirtualSLE Body of Knowledge
SLE
Friedrich Steimann Fernuniversität in Hagen, Marius Freitag Fernuniversität in Hagen
DOI
14:10
24m
Talk
Gradual Grammars: Syntax in Levels and LocalesVirtualResearch Paper
SLE
Tijs van der Storm CWI; University of Groningen, Felienne Hermans Vrije Universiteit Amsterdam
DOI Pre-print Media Attached
14:34
24m
Talk
Property Probes: Source Code Based Exploration of Program Analysis ResultsIncludes DemoResearch PaperIn Person
SLE
Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University, Adrian Pop Linköping University
DOI Media Attached File Attached