A core calculus for provenance inspection

Wilmer Ricciotti. A core calculus for provenance inspection. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 187-198, ACM, 2017. [doi]

Abstract

Abstract is missing.