无忧论文网
当前位置: 无忧论文网 > 社科论文 > 英语论文 > 英语翻译学论文 > 从RSL到SML的翻译程序
点击提交论文指导需求
高薪诚聘老师
从RSL到SML的翻译程序
时间:2012-11-20 浏览次数:1002次 无忧论文网
点击这里在线咨询我
【中文题名】 从RSL到SML的翻译程序 【中文摘要】 本文主要讲述如何构造形式化描述语言RSL的翻译程序。文中展示了如何利用类型检测程序(RSLTC)的分析结果,将RSL的各个语言成分映射到函数式程序设计语言SML中的相应部分,从而实现将RSL描述部分地翻译执行。本文着重描述了在翻译中所遇到的局限和问题以及可能的解决方法。文中所述的翻译程序已经作为RSL类型检测程序RSLTC的扩展予以实现。 【英文摘要】 This paper discusses the construction of an RSL translator. It shows how various parts of RSL can be mapped to the functional programming language Standard ML based on the parse result of the type checker RSLTC, the limitations, and the possible solutions. The translation allows a specification written in RSL to be executed as an SML program, thus provides an effective way to evaluate the specification. The described translator has been implemented as an extension to the RSLTC tool chain. <中文摘要> 003-003 <英文摘要> 003-006 1. 引言 006-006 2. 适合翻译的RSL子集 006-007 3. 相关的工具和系统 007-007 4. 翻译程序作为RSLTC的扩展 007-009 5. 翻译程序的主要任务 009-010 6. 类型方法 010-011 7. RSLML基本运行库 011-015 8. 翻译RSL描述中的类型 015-016 9. 类型定义的相互依赖 016-019 10. 翻译RSL描述中的值表达式 019-023 11. 翻译RSL中的变量 023-024 12. 函数和递归值 024-024 13. 值定义的相互依赖 024-026 14. 输出SML代码 026-027 15. RSL的模块系统 027-029 16. 交互式系统的设想 029-030 17. 其它的改进 030-030 18. 感谢名单 030-030 <引文> 030-31
关于我们 | 老师招聘 | 版权声明 | 联系我们 | 付款方式 | 返回顶部 | 

COPYRIGHT ©2001 - 2013 51LUNWEN.NET. ALL RIGHTS RESERVED.
【免责声明】:本网站所提供的信息资源如有侵权、违规,请及时告知
无忧论文网提供毕业论文指导 硕士论文指导服务