Relational Cost Analysis for Functional-Imperative Programs.

Weihao Qu Marco Gaboardi Deepak Garg

Published in: CoRR (2018)

Keyphrases

data sets
data analysis
xml documents
statistical analysis