| <中文摘要> | 第1页 |
| <英文摘要> | 第3-6页 |
| 1. 引言 | 第6页 |
| 2. 适合翻译的RSL子集 | 第6-7页 |
| 3. 相关的工具和系统 | 第7页 |
| 4. 翻译程序作为RSLTC的扩展 | 第7-9页 |
| 5. 翻译程序的主要任务 | 第9-10页 |
| 6. 类型方法 | 第10-11页 |
| 7. RSLML基本运行库 | 第11-15页 |
| 8. 翻译RSL描述中的类型 | 第15-16页 |
| 9. 类型定义的相互依赖 | 第16-19页 |
| 10. 翻译RSL描述中的值表达式 | 第19-23页 |
| 11. 翻译RSL中的变量 | 第23-24页 |
| 12. 函数和递归值 | 第24页 |
| 13. 值定义的相互依赖 | 第24-26页 |
| 14. 输出SML代码 | 第26-27页 |
| 15. RSL的模块系统 | 第27-29页 |
| 16. 交互式系统的设想 | 第29-30页 |
| 17. 其它的改进 | 第30页 |
| 18. 感谢名单 | 第30页 |
| <引文> | 第30-31页 |