Amortised Resource Analysis with Separation Logic.

Published in: ESOP (2010)

Keyphrases

data analysis
statistical analysis
quantitative analysis
database
data sets
artificial intelligence
e learning
image analysis
mobile robot
automated reasoning