Kanada, Y., Ph.D Thesis, University of Tokyo Graduate School, 1992.
[ 日本語のページ ]
[ Contents of PDF Version Paper (Japanese) ]
I developed vector processing methods of symbol-processing programs and automatic vectorization methods of logic language programs (execution on Cray-1 type computers).
-- I believe you can get some knowledge from this paper when thinking of automatic parallelization for SIMD computers.
[No English abstract is available.]
Introduction to this research theme: Logic/Symbolic Vector Processing
Keywords: Logic programming language, Programming language processor, Vectorization of symbol processing, Vectorized symbol processing, Parallel symbol processing, Supercomputing, Super symbol processing, Parallel processing, Vector processing