A Certifying Frontend for (Sub)polyhedral Abstract Domains.

Alexis Fouilhé Sylvain Boulmé

Published in: VSTTE (2014)

Keyphrases

real world
low level
higher level
relational databases
application domains
cross domain
database
neural network
genetic algorithm
artificial intelligence
e learning
image processing
data model
back end
convex sets