Refined typechecking with Stardust.

Published in: PLPV (2007)

Keyphrases

regular expressions
tree automata
database
databases
multiscale
viewpoint
image segmentation
database systems
probability distribution
high speed
conceptual model