| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Preliminaries | .... 3 |
| 2.1 | BUP System | .... 3 |
| 2.2 | Parallelism | .... 5 |
| 3 | Exploitation of AND-Parallelism | .... 5 |
| 4 | Exploitation of OR-Parallelism | .... 8 |
| 4.1 | Language ANDOR-II | .... 8 |
| 4.2 | Complilation Based on Coloring Scheme | .... 9 |
| 5 | Discussion | .... 12 |
| 5.1 | Comparison with PAX | .... 12 |
| 5.2 | Issue on Program Transformation | .... 14 |
| 6 | Concluding Remarks | .... 15 |
| 7 | Acknowledgements | .... 15 |
| 8 | References | .... 16 |
| 9 | Appendix | .... 18 |
| End | .... 19 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports