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

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.

@inproceedings{ChenFH07:0,
  title = {Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve Indices},
  author = {Chih-Sheng Chen and Min-Hsuan Fan and Chua-Huang Huang},
  year = {2007},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/ChenFH07%3A0},
  cites = {0},
  citedby = {0},
  pages = {256-262},
  booktitle = {Proceedings of the 2007 International Conference on Image Processing, Computer Vision, & Pattern Recognition, IPCV 2007, June 25-28, 2007, Las Vegas Nevada, USA},
  editor = {Hamid R. Arabnia},
  publisher = {CSREA Press},
  isbn = {1-60132-043-4},
}