Building Complete Abstract Interpretations in a Linear Logic-based Setting.

Roberto Giacobazzi Francesco Ranzato Francesca Scozzari

Published in: SAS (1998)

Keyphrases

artificial intelligence
knowledge representation
image processing
linear model
neural network
real world
data mining
genetic algorithm
computer vision
information systems
web services
lower bound
low level
linear constraints