Abstraction and Genericity in Why3.

Jean-Christophe Filliâtre Andrei Paskevich

Published in: ISoLA (1) (2020)

Keyphrases

high level
spatio temporal databases
image processing
bayesian networks
data streams
database
databases
computer vision
case study
database systems
spatio temporal
decision theoretic planning
abstraction hierarchy