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

Roberto Giacobazzi Francesco Ranzato Francesca Scozzari

Published in: APPIA-GULP-PRODE (1998)

Keyphrases

information systems
higher level
simple linear
real time
neural network
linear systems
linear constraints
data sets
databases
artificial intelligence
data structure
high dimensional
hidden markov models
knowledge representation
computationally tractable
optimal linear