类型系统论文

资源发现系统功能分析及应用前景，本文主要内容关键词为：前景论文,功能论文,发现论文,系统论文,资源论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。1概述200...

无尽的对角线，本文主要内容关键词为：对角线论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。本文试图通俗地介绍数理逻辑史上的几个重大结果，包括康托尔对角线定理、...

基于任务的个性化信息检索用户模型，本文主要内容关键词为：信息检索论文,模型论文,用户论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。1研究背景个性化信息检索是...

吴伟峰[1]2012年在《静态二进制翻译完备性及代码分析研究》文中提出二进制翻译技术是解决代码移植问题的重要手段。静态二进制翻译在翻译生成程序运行效率方面具有绝对优势，在生成代码重用性和膨胀率两方面也占有优势，但动态和动静相结合的翻译模式却是现今大家关注和研究的焦点，主要原因是静态二进制翻译在翻译完...