Finite-tree analysis for constraint logic-based languages.

Roberto Bagnara Roberta Gori Patricia M. Hill Enea Zaffanella

Published in: Inf. Comput. (2004)

Keyphrases

artificial intelligence
real time
databases
image sequences
data analysis
expressive power
convex constraints