Language-integrated provenance by trace analysis

by   Stefan Fehrenbach, et al.

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 LinksT, give examples showing its capabilities, and outline its metatheory and key correctness properties.



page 1

page 2

page 3

page 4


Language-integrated provenance in Haskell

Scientific progress increasingly depends on data management, particularl...

Query Lifting: Language-integrated query for heterogeneous nested collections

Language-integrated query based on comprehension syntax is a powerful te...

Strongly-Normalizing Higher-Order Relational Queries

Language-integrated query is a powerful programming construct allowing d...

Curating Covid-19 data in Links

Curated scientific databases play an important role in the scientific en...

Semantically Enhanced Software Traceability Using Deep Learning Techniques

In most safety-critical domains the need for traceability is prescribed ...

A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)

The last decade has witnessed an increasing transformation in the design...

Second-Guessing in Tracing Tasks Considered Harmful?

[Context and motivation] Trace matrices are lynch pins for the developme...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.