| Abstract | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | Concurrent Prolog | .... 6 |
| 3 | A Meta-Interpreter for Concurrent Prolog | .... 8 |
| 4 | Streams | .... 10 |
| 5 | Booting an Operating System | .... 12 |
| 6 | A Unix-like Shell | .... 13 |
| 7 | A manager of Multiple Interactive Processes | .... 15 |
| 8 | Merging streams | .... 18 |
| 8.1 | A note on abstract stream operations | .... 20 |
| 9 | Monitors and the readers-and-writers problem | .... 21 |
| 10 | Queues | .... 21 |
| 11 | Bounded-buffer communication | .... 23 |
| 12 | An implementation of the SCAN disk-arm scheduling algorithm | .... 24 |
| 13 | Conclusion | .... 27 |
| Acknowledgements | .... 28 | |
| References | .... 28 | |
| End | .... 32 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports