Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.

Orieta Celiku Annabelle McIver

Published in: FM (2005)

Keyphrases

statistical analysis
decision trees
data analysis
high cost
high level
query processing
quantitative analysis
desirable properties
total cost
probabilistic logic