Contents of Report

[Data of Report]

1	はじめに	.... 2
2	静的解析	.... 2
2.1	収拾データ項目	.... 2
2.2	静的解析結果と静的特性	.... 3
3	動的解析	.... 5
3.1	並列Prolog	.... 5
3.2	逐次型Prologプログラムから並列Prologプログラムの書き換え規則	.... 6
3.3	並列Prologプログラムの動的解析の結果	.... 7
4	おわりに	.... 10
	参考文献	.... 10
	付録	.... 11
	End	.... 13

目次をクリックすると、PDFファイルが表示されます。