[ACM Press the 19th International Symposium - Namur, Belgium (2017.10.09-2017.10.11)] Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 - A core calculus for provenance inspection
Ricciotti, WilmerYear:
2017
Language:
english
DOI:
10.1145/3131851.3131871
File:
PDF, 955 KB
english, 2017