search result

Cover von Practical Aspects of Declarative Languages
24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17 - 18, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13165
Media group: MONOGRAPHIE
Cover von Strongly Normalizing Higher-Order Relational Queries

Strongly Normalizing Higher-Order Relational Queries

Year: 2020
Media group: LIPIcs
Cover von Strongly Normalizing Audited Computation

Strongly Normalizing Audited Computation

Year: 2017
Media group: LIPIcs
Cover von Programming Languages for Big Data (PlanBig); 12
pp. 48-67
Search for this author
Year: 2015
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 12
Media group: DAGSTUHL REPORT
Cover von Provenance in Databases
Why, How, and Where
Author: Cheney, James; Chiticariu, Laura; Tan, Wang-Chiew Search for this author
Year: 2009
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Databases; 1. 2007, 4
Media group: MONOGRAPHIE
Cover von muPuppet

muPuppet

A Declarative Subset of the Puppet Configuration Language
Year: 2017
Media group: LIPIcs
Cover von Causally Consistent Dynamic Slicing

Causally Consistent Dynamic Slicing

Year: 2016
Media group: LIPIcs
Cover von The rationale of PROV
article : pp. 235-257
Search for this author
Year: 2015
Publisher: Amsterdam, Elsevier
Web semantics
Media group: ARTICLE
Cover von Principles of Provenance; 2
pp. 84-113
Search for this author
Year: 2012
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0