分享到:

初学java常用开发工具介绍

Java的应用越来越广泛,学习Java的人也越来越多。学过程序设计的人知道,使用Basic进行程序设计,可以使用QBasic、Visual Basic等开发工具;使用C语言进行程序设计,可以使用Turbo C、Visual C++、C++ Builder等开发工具。这些开发工具集成了编辑器和编译器,是集成开发工具,很方便使用。学习Java程序设计,同样需要方便易用的开发工具。Java的开发工具很多,而且各有优缺点,初学者往往不知道有哪些常用的开发工具,或者由于面临的选择比较多而产生困惑。本文对初学者常使用的Java开发工具作一介绍,有助于初学者了解Java常用开发工具并做出选择。$$  要建立Java开发环境,离不开Sun的JAVA2 SDK。1998年12月Sun公司发布了Java Software Development Kit(简称JAVA2 SDK),目前的最新版本是J2sdk-1.4.2.05。可在http://Jav...  (本文共2页) 阅读全文>>

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

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

随着软件规模的不断扩大,软件内部的结构也愈发复杂。面对不断提高的软件复杂性,如何保证软件的可信性(即正确性、可靠性和安全性),成为软件开发者和研究人员面临的一个巨大挑战[1]。软件的可信性指软件的行为总是符合预期。由于软件行为一般是由源代码经过编译之后得到的可执行代码决定,显然,软件源代码本身的可信性和编译过程的可信性共同决定了软件的可信性。一方面,保证软件的可信性需要保证编译转换过程的正确性,即编译器需要忠实地将源语言代码转换为在语义上等价的目标语言代码;另一方面,如果源语言程序自身不可信,转换后目标代码执行时的正确性显然是不能保证的,因此也需要一定的可信机制保证源语言程序的可信性。这2个方面的正确性,一般都是通过形式化验证完成的,经过形式化验证的编译器被称为可信编译器。对可信编译器的研究由来已久。文献[2]最早尝试对编译器的正确性进行形式化验证。文献[3]改进文献[2]的方法,提出了用严格定义的数学结构表达的编译器正确性证明...  (本文共5页) 阅读全文>>

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

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

1引言在一些安全关键领域中,例如航天、核工业等,编译器的安全可信有着至关重要的作用,编译错误可能会带来灾难性的后果。然而随着计算机技术的发展,对编译的要求越来越高,例如高级语言编译器中增加了大量的优化,使得编译器变得越来越复杂,这对如何构造可信编译器形成了更大的挑战。可信编译器可通俗地理解为可信任的编译器,具体指标是指编译过程的正确性,编译器能确保其编译过程是正确无误的,不会带来误编译,目标代码能将源代码的特征正确、完整地实现,其语义与源代码保持一致。然而,有时因为编译器设计或实现的问题,编译器会产生误编译,导致目标代码与源代码行为或语义不一致,或者导致编译时崩溃。构造可信编译器、消除误编译的传统方法有:1)测试,通过大量的测试来发现编译器的错误;2)通过编译器开发过程的严格质量控制来防范编译错误;3)人工检查生成的目标代码,查找目标代码与源代码行为是否一致。然而这3种方法都有着明显的缺陷:首先,由于编译器的复杂性,测试工作不容...  (本文共5页) 阅读全文>>

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

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

1背景目前百万行代码的软件项目比比皆是,尽管计算机的运算速度不停提高,但大型软件的编译过程仍然漫长,系统要花费大量人力和时间,传统的单机编译方式已不再适合软件项目开发的需要,编译时间及效率成为项目开发的瓶颈。分布式编译系统的出现极大地缓解了这种压力,它通过提高编译速度而直接提高前期调测的效率,得到市场认可。分布式编译原理很简单,就是将整个编译工作通过分布计算的方法分配到多个计算机上执行,以获得效率极大提高。由于分布式计算技术相对较成熟,因此分布式编译器的设计有可靠的理论与实践基础。一般来说,一个分布式编译软件不是一个编译器,而是附在某个编译器上的分布式计算管理软件,以获得特定的编译器分布式编译。目前的分布式编译器主要包括2类:一类是插件技术,代表性产品是IncrediBuilder,它将每个编译器看作一个插件,各编译器自成体系,功能和操作在插件内部完成,优点是方便编译系统扩展,增加一种编译器,只需要在系统中增加一个编译器插件;另...  (本文共3页) 阅读全文>>

《群文天地》2011年14期
群文天地

优化编译器的设计

编译器的研究综合了计算机科学中的操作系统、计算机系统结构、图算法、人工智能等众多领域,因此对编译器的研究要求研究者在各方面都有很深的理解。编译器的研究可以追溯到上世纪50年代。从Fortran语言出现的那天起,研究者们就在不断地探索怎样使高级语言编译后能够和机器语言编写的程序具有相当的效率。Fortran语言的成功很大程度上得益于它从一开始就有很好的编译器。随着越来越多的高级语言的出现,计算机的应用领域越来越广泛,编译器所扮演的角色显得越来越重要。随着现代先进的计算机系统结构(Computer Architec-ture)的出现,现代化编译器(Optimizing Compiler)的能力也越来越强大,编译出的程序的效率也越来越高。最初的编译器已经远远不能和现代先进的编译器相提并论了,但是今天编译器仍有许多可以改进的地方,这就需要我们进行更深入的研究。一、编译器的结构编译器的结构包括词法分析器(Lexical Analyzer)...  (本文共2页) 阅读全文>>

《电脑知识与技术》2010年18期
电脑知识与技术

关于C编译器对——运算编译的研究

C语言是高校计算机课程的重要部分,同时也是全国计算机等级考试的一部分。目前C语言的学习者越来越多,对C语言的了解也越来越清楚。然而在C语言教学中发现很多学生对其中的自加自减运算符感到迷惑,特别是二者出现前置后置混合使用时。同时,C语言教学中常用的两个编译器,即Turbo C2.0编译器和Visual C++6.0编译器,对自加自减运算的编译顺序有不同,更加重了学生对此部分内容的不解。因此,本文着重分析上述两种编译器如何对自减运算进行编译,对于自加运算读者可参考文中自减运算进行分析。1C语言自加和自减运算C语言的自减运算符为--,有前置和后置两种用法。前置用法指将运算符放于变量的前面,其功能是在使用变量前,先使变量的值自减1,之后再使用变量的值。后置用法指将运算符放于变量的后面,其功能是先使用变量原来的值参加表达式运算,之后再使变量的值自减1。例如下面的C语句:int i,j;i=4;j=--i;/*先将i的值自减1,再将i的新值...  (本文共3页) 阅读全文>>