导读:本文包含了编译器论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:编译器,在线,数据流,海关总署,可编程,海关,方舟。
编译器论文文献综述
刘泽恩[1]（2019）在《“编译器”助化学品进出口申报“零门槛”》一文中研究指出科技日报讯（刘泽恩）根据海关总署统一安排，在广州海关试点的基础上，近日全国海关全面上线化学物质登录号辅助申报系统，专业的化学品进出口申报从此“零门槛”，全国超3万家化学品进出口企业因此获益。化学物质登录号(又称“CAS号”）是化学品的全球唯一身份(本文来源于《科技日报》期刊2019-12-30）
龚宇洁[2]（2019）在《方舟编译器初探》一文中研究指出2019-04,华为首次公开了自主研发的方舟编译器,2019-08-31开源编译器框架代码,从华为的设计思想和框架设计来看,方舟编译器将会在业界带来一场安卓性能革命。作为一名Android开发者,对方舟有限的资源和开源内容进行了学习和解读,结合安卓编译器发展的研究,对方舟编译器进行了初步的探索。(本文来源于《科技与创新》期刊2019年23期）
谢伟增,金振乾[3]（2019）在《Java语言在线编译器的设计与实现》一文中研究指出本文针对当前程序设计课程实验教学课时少,大部分集成开发环境对系统软硬件要求高,学生编程训练的时间和空间普遍不足的教学实际情况,分析了在线编译器的功能和应用场景,总结了现有的各种在线编译器在使用过程中的缺点,提出了新的在线编译器设计方式并予以实现。教学实践表明,该在线编译器可以为学生提供在线编辑、编译、检错等功能,实现随时随地编程、不限设备编程,能够成为程序设计课程教学实践的有力补充。(本文来源于《电子技术与软件工程》期刊2019年20期）
陈俊洁,胡文翔,郝丹,熊英飞,张洪宇[4]（2019）在《一种静态的编译器重复缺陷报告识别方法》一文中研究指出编译器缺陷报告在编译器质量保证中具有重要作用,而重复缺陷报告往往带来不必要的人力、时间等资源浪费.为了识别编译器重复缺陷报告,本文提出了一种静态的重复缺陷报告识别方法IdenDup.该方法可以有效解决两个场景下的重复缺陷报告问题,即模糊测试(fuzz testing)所产生的缺陷报告和缺陷管理系统中不同来源的缺陷报告.具体来说, IdenDup利用缺陷报告中静态文本和程序特征来识别重复缺陷报告,其中程序特征包括程序词法、语法,以及本文首次提出的数据流特征.特别地,程序数据流特征指的是程序中变量使用路径(变量使用方式及使用方式的顺序)特征.之后,我们使用C语言的两个主流编译器GCC和LLVM作为实验对象,对IdenDup的效果进行了实验探究.实验结果表明, IdenDup可以有效地识别上述两个场景下的重复缺陷报告,并且超过已有方法.(本文来源于《中国科学:信息科学》期刊2019年10期）
[5]（2019）在《华为方舟编译器开源官网正式上线:源代码已开放下载》一文中研究指出据华为官方消息,华为方舟编译器开源官网已经正式上线(https://www.openarkcompiler.cn),目前源代码已经提供下载。官网介绍,方舟编译器是为支持多种编程语言、多种芯片平台的联合编译、运行而设计的统一编程平台,包含编译器、工具链、运行时等关键部件。目前,方舟编译器还在持续演进中,陆续将上述能力实现和开源。据悉,本次方舟编译器开源的是编译器框架部分源码,包括编译器中间表示(IR)和语言编译实现,同时搭配编译器其他二进制组件,实现Java程序到aarch64汇编指令的编译过程。(本文来源于《电脑知识与技术(经验技巧)》期刊2019年10期）
陈飞扬,徐文涛,孙绍山,朱浩,钱振江[6]（2019）在《堆栈机器简单编译器在Isabelle/HOL中的验证》一文中研究指出堆栈机器(stack machine)作为一种计算模型,不仅执行部分高级语言的效率很高,而且其编译器也简单、快速.在形式化领域,目前已有不少定理证明器用来验证模型的正确性.本文对堆栈机器的简单编译器进行介绍,对布尔表达式和算术表达式、机器指令、编译器、机器运行行为在Isabelle/HOL中进行形式化,验证编译器的正确性.(本文来源于《常熟理工学院学报》期刊2019年05期）
刘慧,徐金龙,赵荣彩,姚金阳[7]（2019）在《学习模型指导的编译器优化顺序选择方法》一文中研究指出针对新的应用程序和目标平台通常需要使用编译器进行程序优化顺序选择,以提升目标代码性能.迭代编译可使优化顺序选择过程自动进行,在允许的时间空间范围内尽可能多地执行程序的不同版本,但该方法是一种机械式搜索,缺少对先前获得经验的利用,需要较大的执行开销.因此,需要能自动预测变换后目标程序性能而不必实际运行程序的优化编译方法.提出一种编译器优化顺序选择方法:Features ANN.该方法首先采用动静结合的程序特征表示技术,对程序特征进行抽取;然后基于程序特征对编译优化空间进行搜索,找到当前程序版本的最佳优化;最后,由程序特征和最佳优化形成训练样本,基于人工神经网络(artificial neural network, ANN)形成监督学习模型,对新程序的最佳编译优化顺序进行预测.实验结果表明,Features ANN与2种现有迭代编译方法GraphDSE和ClusterDSE比较时,在2种平台上相对于编译器标准优化级别-O3分别获得1.49x,1.25x,1.38x和1.41x,1.16x,1.22x的执行时间加速比.此外,与现有非迭代编译方法相比时,Features ANN也获得了有效的性能提升.(本文来源于《计算机研究与发展》期刊2019年09期）
彭获然,熊庭刚,胡艳明,黄亮[8]（2019）在《基于国产GPU的GLSL编译器设计》一文中研究指出GLSL(OpenGL Shading Language,GLSL)是一种高级图形编程语言,它自OpenGL 2.0版本开始成为OpenGL规范的一部分,专门用来编写OpenGL可编程管线对应的着色器。论文以OpenGL 2.0规范中的OpenGL着色语言(version1.10)为研究对象,根据其语言特性,结合国产GPU的单指令多数据(SIMD)指令集架构和可用资源,提出了一种在该GPU平台上可行的GLSL编译器设计。(本文来源于《计算机与数字工程》期刊2019年06期）
刘睿博[9]（2019）在《Linux系统下基于clang编译器的安全防护机制的研究》一文中研究指出科技的飞速发展,给人们的生活带来了翻天覆地的变化。互联网走进人们的视线,成为了当下人们生活密不可分的一部分。因为有了互联网,我们实现了信息共享,网络视频通话,线上购物,信息娱乐,而依托于互联网而出现的新型技术,也蔓延了各个传统行业。尤其近年来随着4G的普及以及5G的即将上市,以互联网金融,网络新媒体,大数据,云计算,物联网为代表的新的研究领域的技术发展,改变了人们生活的方方面面。在这种大背景下,越来越多的就业者选择加入互联网行业,通过代码改变生活。然而,人们的编程水平参差不齐,缺少标准的网络操作规范,这就给网络黑客可乘之机。近年来,网络安全问题频发,尤其是缓冲区溢出攻击,给企业和个人带来了巨大的经济损失。所以,研发高效安全的防护技术,减少缓冲区溢出攻击的可能性从而保证互联网环境的安全,是网络安全技术人员工作的重中之重。本篇论文以Linux系统下clang编译器平台为基础,针对缓冲区溢出进行防护技术的验证测试及分析,并对Linux系统下基于clang编译器的安全防护机制进行相关研究。论文的主要工作和研究成果如下:简要介绍了网络安全现状以及基于缓冲区溢出攻击的安全现状以及发展,并针对缓冲区溢出的安全保护技术进行相关背景介绍以及发展趋势的研究。分析了缓冲区溢出的原因,分类,以及Linux系统下内存空间的结构和函数帧栈的结构,同时研究了缓冲区溢出的攻击原理以及防护技术的基本思路,clang编译器的编译过程,为下文提供理论依据。以Linux系统下clang编译器为平台基础,提出了整数溢出保护和地址无关代码技术,并从实现原理、二进制特征、局限性叁个方面进行分析,从而对安全防护技术有更深入的理解。搭建针对clang编译器的测试平台,对整数溢出保护技术和地址无关代码技术进行验证性测试,以及程序规模和性能测试,从而证明防护技术的安全性,有效性和高效性。最后,从防护技术的安全性和资源利用的高效性对论文的创新点进行总结,同时针对论文存在的不足以及技术的局限性提出改进措施以及下一步的研究计划。(本文来源于《北京邮电大学》期刊2019-05-25）
杨萍,王生原[10]（2019）在《同步数据流语言可信编译器的研究进展》一文中研究指出同步数据流语言(如Lustre,Signal)近年来在航空、高铁、核电等安全关键领域得到了广泛应用,因此与这类语言相关的开发工具本身的安全性问题受到高度关注。同步数据流语言到串行命令式语言的可信编译器是此类工具的典型代表(如Scade)。构造可信编译器的途径可分为两大类:一类是传统的方法,例如通过大量测试和严格的过程管理等手段来实现;另一类是通过形式化方法,例如直接对编译器本身进行形式化证明,采用翻译确认的方法等。近年来,形式化方法作为构造和验证可信编译器的关键途径而得到广泛的重视,有望最大限度地解决"误编译"问题,因而成为新的研究热点。文章在介绍可信编译器的形式化构造和验证方法的基础上,特别聚焦于同步数据流语言可信编译器的相关研究工作,对其现状进行综述和分析。(本文来源于《计算机科学》期刊2019年05期）
编译器论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
2019-04,华为首次公开了自主研发的方舟编译器,2019-08-31开源编译器框架代码,从华为的设计思想和框架设计来看,方舟编译器将会在业界带来一场安卓性能革命。作为一名Android开发者,对方舟有限的资源和开源内容进行了学习和解读,结合安卓编译器发展的研究,对方舟编译器进行了初步的探索。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
编译器论文参考文献
[1].刘泽恩.“编译器”助化学品进出口申报“零门槛”[N].科技日报.2019
[2].龚宇洁.方舟编译器初探[J].科技与创新.2019
[3].谢伟增,金振乾.Java语言在线编译器的设计与实现[J].电子技术与软件工程.2019
[4].陈俊洁,胡文翔,郝丹,熊英飞,张洪宇.一种静态的编译器重复缺陷报告识别方法[J].中国科学:信息科学.2019
[5]..华为方舟编译器开源官网正式上线:源代码已开放下载[J].电脑知识与技术(经验技巧).2019
[6].陈飞扬,徐文涛,孙绍山,朱浩,钱振江.堆栈机器简单编译器在Isabelle/HOL中的验证[J].常熟理工学院学报.2019
[7].刘慧,徐金龙,赵荣彩,姚金阳.学习模型指导的编译器优化顺序选择方法[J].计算机研究与发展.2019
[8].彭获然,熊庭刚,胡艳明,黄亮.基于国产GPU的GLSL编译器设计[J].计算机与数字工程.2019
[9].刘睿博.Linux系统下基于clang编译器的安全防护机制的研究[D].北京邮电大学.2019
[10].杨萍,王生原.同步数据流语言可信编译器的研究进展[J].计算机科学.2019
论文知识图
