分享到:

初学java常用开发工具介绍

Java的应用越来越广泛,学习Java的人也越来越多。学过程序设计的人知道,使用Basic进行程序设计,可以使用QBasic  (本文共2页) 阅读全文>>

《科技与创新》2019年23期
科技与创新

方舟编译器初探

2019-04,华为首次公开了自主研发的方舟编译器,2019-08-31开源编译器框架代码,从华为的设计思想和框架设计...  (本文共2页) 阅读全文>>

《电脑爱好者》1998年21期
电脑爱好者

形形色色的C编译器

“工欲善其事,必先利其器”,这里我们谈谈与游戏制作直接有关的话题:C语言编译器。所谓编译器,笼统地讲就是把C或C++源程序编译链接成可执行文件的程序...  (本文共2页) 阅读全文>>

《中国科技论文》2017年14期
中国科技论文

一种适用于可信编译器的源语言转换与检查框架

针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言...  (本文共5页) 阅读全文>>

《计算机科学》2014年S1期
计算机科学

可信编译器构造的翻译确认方法简述

编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测试,但是测试难以达到完全覆盖,并不能充分地保证编译器的安全可信。近年来,形式化验证方法被成功用于可信编译器的...  (本文共5页) 阅读全文>>

《节水灌溉》2011年05期
节水灌溉

计算智能技术在分布式多编译器中的应用分析

分布式编译是目前提高大规模软件项目编译时间及效率的有效方法。通过简介市场上主流的2种技术代表性产品Incredibuilder和Distcc的性能...  (本文共3页) 阅读全文>>