资料下载
×
peC语言的部分求值器设计
消耗积分:1 |
格式:rar |
大小:0.68 MB |
2017-12-29
分享资料个
部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用，将部分求值技术应用到编译器测试中，为此，设计了一种C语言的子集peC语言，给出了该语言的部分求值策略的形式化描述，实现了peC语言的部分求值器，设计了基于部分求值技术的编译器测试框架．通过实验，该方法可以检测出大部分之前其他方法发现的GCC，LLVM编译器中的错误，此外还发现了其他方法不能发现的错误，这表明，将部分求值技术应用到编译器测试中是有效的．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
