Sun 23 Jun 2019 16:00 - 16:20 at 106C - Semantics and Analysis (part 2)

Language-integrated provenance builds on language-integrated query techniques to make provenance information explaining query results readily available to programmers. In previous work we have explored language-integrated approaches to provenance in Links and Haskell. However, implementing a new form of provenance in a language-integrated way is still a major challenge. We propose a self-tracing transformation and trace analysis features that, together with existing techniques for type-directed generic programming, make it possible to define different forms of provenance as user code. We present our design as an extension to a core language for Links called Links$^T$, give examples showing its capabilities, and outline its metatheory and key correctness properties.

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

16:00 - 16:40
Semantics and Analysis (part 2)DBPL at 106C
16:00
20m
Talk
Language-integrated provenance by trace analysis
DBPL
Stefan Fehrenbach University of Edinburgh, James Cheney University of Edinburgh, UK
16:20
20m
Talk
Mixing set and bag semantics
DBPL
Wilmer Ricciotti University of Edinburgh, UK, James Cheney University of Edinburgh, UK