Abstract Domains Based on Regular Types.

John P. Gallagher Kim S. Henriksen

Published in: ICLP (2004)

Keyphrases

real world
high level
database
genetic algorithm
e learning
database systems
real time
information systems
video sequences
application domains