| Abstract | .... 3 | |
| 1 | Introduction | .... 4 |
| 2 | Representation | .... 5 |
| 2.1 | Data Structures | .... 5 |
| 2.2 | Uninstantiated Variable Cells | .... 5 |
| 2.3 | Instantiated Variable | .... 6 |
| 3 | Applications | .... 7 |
| 3.1 | Storage Reclamation | .... 7 |
| 3.2 | Destructive Update of Array Elements | .... 7 |
| 4 | Maintenance of MRB | .... 8 |
| 4.1 | Creation of Data Structures | .... 8 |
| 4.2 | Creation of Variable Cells | .... 8 |
| 4.3 | Deference | .... 9 |
| 4.4 | Instantiation of Variables | .... 9 |
| 4.5 | Duplicating References | .... 10 |
| 4.6 | Retrieval of Structure Elements | .... 10 |
| 5 | Abstract Machine | .... 11 |
| 5.1 | Multiple Reference Bit Management | .... 11 |
| 5.2 | Storage Allocation | .... 11 |
| 5.3 | Garbage Stack | .... 12 |
| 6 | Abstract Instruction Set | .... 12 |
| 6.1 | Passive Unification | .... 13 |
| 6.2 | Storage Reclamation | .... 13 |
| 6.3 | Active Unification | .... 14 |
| 6.4 | Argument Preparation | .... 14 |
| 6.5 | Optimization | .... 14 |
| 7 | Comparison with Reference Counting | .... 15 |
| 8 | Using MRB for Other Languages | .... 16 |
| 9 | Test Implementation | .... 17 |
| 10 | Conclusion | .... 18 |
| Acknowledgements | .... 18 | |
| References | .... 18 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports