Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve Indices.

Chih-Sheng Chen Min-Hsuan Fan Chua-Huang Huang

Published in: IPCV (2007)

Keyphrases

program synthesis
space filling curves
hilbert curve
multidimensional data
multi dimensional space
high level
database
data sources
recursive programs