Projects per year
Abstract
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.
Original language | English |
---|---|
Title of host publication | Proceedings of The 17th International Symposium on Database Programming Languages |
Place of Publication | New York |
Publisher | ACM |
Pages | 74-84 |
Number of pages | 24 |
ISBN (Print) | 978-1-4503-6718-9 |
DOIs | |
Publication status | Published - 23 Jun 2019 |
Event | 17th International Symposium on Database Programming Languages - Phoenix, United States Duration: 23 Jun 2019 → 23 Jun 2019 https://pldi19.sigplan.org/track/dbpl-2019-papers#About |
Symposium
Symposium | 17th International Symposium on Database Programming Languages |
---|---|
Abbreviated title | DBPL 2019 |
Country/Territory | United States |
City | Phoenix |
Period | 23/06/19 → 23/06/19 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- language-integrated provenance
- language-integrated query
- query normalization
- provenance
Fingerprint
Dive into the research topics of 'Language-integrated provenance by trace analysis'. Together they form a unique fingerprint.Projects
- 2 Finished
-
-
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
1/09/16 → 28/02/23
Project: Research