Chih-Sheng Chen, Min-Hsuan Fan, Chua-Huang Huang. Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve Indices. In Hamid R. Arabnia, editor, Proceedings of the 2007 International Conference on Image Processing, Computer Vision, & Pattern Recognition, IPCV 2007, June 25-28, 2007, Las Vegas Nevada, USA. pages 256-262, CSREA Press, 2007.
Abstract is missing.