Kanada, Y., Ph.D Thesis, University of Tokyo Graduate School, 1992.
[ 日本語のページ ]
[ Kindle edition: Vector-processing Methods of Symbol-processing Programs and Its Application to Logic Language Programs ]
[ 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