| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Concurrent Logic Language GHC | .... 3 |
| 2.1 | The Key Idea of GHC | .... 4 |
| 2.2 | From GHC to Flat GHC | .... 5 |
| 2.3 | Understanding GHC Better | .... 6 |
| 3 | Parallel Language KL1 | .... 8 |
| 3.1 | Mapping of Computation | .... 8 |
| 3.2 | Keeping up with Sequential Languages | .... 10 |
| 3.3 | Implementation | .... 11 |
| 4 | Conclusions | .... 11 |
| Acknowledgments | .... 12 | |
| References | .... 12 | |
| End | .... 14 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports