导读:本文包含了过程式语言论文开题报告文献综述及选题提纲参考文献，主要关键词:过程式语言,面向对象的程序设计,编译器
过程式语言论文文献综述
周欣源[1]（2015）在《一种过程式语言编译器的设计与实现》一文中研究指出过程式程序设计语言一直是计算机编程设计语言的一个重要内容之一。到目前为止很多大学仍然把过程式程序开发语言作为计算机编程开发的基础课程,为了学好计算机专业的整个学科,务必要学习好过程式程序设计语言,这非常重要。本课题设计实现的针对过程式程序设计语言的编译器。从20世纪40年代计算机机器语言诞生开始,如何编写正确高效而简洁的程序,对于计算机的应用发展,一直是一个很大的问题。编译原理就是要解决,如何将人的思维,转化为计算机可以理解的代码的问题。本文先从过程式语言及编译器的产生发展进行介绍,然后对开发设计的过程式语言的工具微软的Visual Studio 2010和采用面向对象的程序设计理念进行了详细的说明。把编译器开发分为词法分析器,语法分析器,语义分析等四个步骤。每个步骤按照软件工程的流程分别从模块的总体架构,详细设计中包括对主要实现类的数据结构和算法进行介绍。本课题设计实现的过程式程序设计语言,包含了常用的各种基本数据类如int、double、char、long、bool等;在语句结构上面,包含了顺序执行语句,for循环语句、ifelse判断分支语句等。像其他程序设计语言一样,本课题设计实现的过程式程序设计语言还提供了函数调用功能,而且还支持函数的递归调用。考虑到过程式语言是有一定的复杂度的,本次设计主要是体现功能设计,没有实现过程式语言的编译器的全部功能,给出了编译器的运行方式。本课题主要设计与实现了一种过程式程序设计语言的编译器系统,该过程式程序设计语言,如同C语言、pascal等过程式程序设计语言一样,功能基本完善。(本文来源于《电子科技大学》期刊2015-09-25）
李天慧[2]（2013）在《模型面向过程式语言切片工具的实现》一文中研究指出本文以一种自定义的小型面向过程式语言(Similar C Language,简称SCL)作为实验语言,在图论和编译技术的基础上,提出了一种分层次切片面向过程式程序的新方法,描述了实现SCL语言切片工具的完整方案。(本文来源于《辽宁省交通高等专科学校学报》期刊2013年01期）
王丽娜,郑晓娟,王征海[3]（2010）在《过程式语言操作语义教学演示系统的设计与实现》一文中研究指出定义一个面向过程的程序设计语言,并实现了该语言操作语义的可视化演示。系统提供单步执行、连续执行两种执行方式,显示了操作语义的每一步执行。系统可以应用于教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境。(本文来源于《计算机应用与软件》期刊2010年07期）
王丽娜,郑晓娟,王征海[4]（2010）在《应用ANTLR实现过程式语言操作语义的动态演示》一文中研究指出介绍了一个面向过程语言的文法特点,应用ANTLR实现了该语言操作语义的动态演示,系统可辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境,从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。(本文来源于《计算机应用与软件》期刊2010年02期）
王丽娜[5]（2009）在《一个过程式语言操作语义的设计与可视化实现》一文中研究指出《形式语义学》是计算机软件与理论专业的研究生学位课,在研究生计算机教育中占有重要的地位。它是程序设计理论的组成部分,以数学为工具,利用符号和公式精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。为了让学生能够领会相关概念和方法,加深理论认识的同时提高实践能力,在这种理论性极强的课程中增加实践环节并提供可视化工具十分有必要。本论文就是为了更好地帮助学生深入理解程序设计语言的形式语义而设计,采用递增的方式,按照不同难度级别定义一系列过程式语言,包括:表达式、语句、输入/输出语句、变量声明、嵌套语句、过程/函数等级别。采用抽象机方法定义该语言的操作语义,给出它们的抽象语法及形式定义,设计相应语言的抽象机,并可视化抽象机的执行过程,实现过程式语言操作语义的可视化演示。本系统可以应用于课堂教学及网络教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境。从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。(本文来源于《东北师范大学》期刊2009-05-01）
郭德贵,陈慧[6]（2001）在《过程式语言中递归的消除》一文中研究指出尾递归化是程序分析中的一个基本方法 ,通过对过程式语言中递归函数尾递归化几个特殊方法的比较分析 ,给出了一个较一般的方法(本文来源于《延边大学学报(自然科学版)》期刊2001年04期）
赵东范,刘磊,宋力彤[7]（2000）在《过程式语言部分求值循环展开的有效处理方法》一文中研究指出文中基于数据流分析（ＤＦＡ）技术，通过引进循环中变量之间的相互依赖关系，提出一种过程式语言部分求值的处理方法． 利用该方法能有效地解决过程式语言部分求值中循环展开这一难题(本文来源于《计算机研究与发展》期刊2000年01期）
金成植,刘磊[8]（1997）在《过程式语言到函数式语言的抽象方法》一文中研究指出本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的．我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序．由于这些转换规则是从指称语义导出的，其正确性得到了保证．(本文来源于《计算机学报》期刊1997年08期）
刘磊,粱建华,金成植[9]（1995）在《嵌套型过程式语言的过程提升技术》一文中研究指出嵌套型过程式语言的过程提升对于程序变换和提高程序目标代码的效率等方面有着重要的意义。本文提出了一种基于字符串的过程提升技术，该技术的特点是占用空间小，转换速度快，从而使在具体系统中由于空间原因不可能的成为完全可能。我们在微机建立了一个过程提升系统。(本文来源于《小型微型计算机系统》期刊1995年12期）
刘磊,郑红军,金成植[10]（1995）在《过程式语言的动态部分求值技术》一文中研究指出提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。(本文来源于《吉林大学自然科学学报》期刊1995年03期）
过程式语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文以一种自定义的小型面向过程式语言(Similar C Language,简称SCL)作为实验语言,在图论和编译技术的基础上,提出了一种分层次切片面向过程式程序的新方法,描述了实现SCL语言切片工具的完整方案。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
过程式语言论文参考文献
[1].周欣源.一种过程式语言编译器的设计与实现[D].电子科技大学.2015
[2].李天慧.模型面向过程式语言切片工具的实现[J].辽宁省交通高等专科学校学报.2013
[3].王丽娜,郑晓娟,王征海.过程式语言操作语义教学演示系统的设计与实现[J].计算机应用与软件.2010
[4].王丽娜,郑晓娟,王征海.应用ANTLR实现过程式语言操作语义的动态演示[J].计算机应用与软件.2010
[5].王丽娜.一个过程式语言操作语义的设计与可视化实现[D].东北师范大学.2009
[6].郭德贵,陈慧.过程式语言中递归的消除[J].延边大学学报(自然科学版).2001
[7].赵东范,刘磊,宋力彤.过程式语言部分求值循环展开的有效处理方法[J].计算机研究与发展.2000
[8].金成植,刘磊.过程式语言到函数式语言的抽象方法[J].计算机学报.1997
[9].刘磊,粱建华,金成植.嵌套型过程式语言的过程提升技术[J].小型微型计算机系统.1995
[10].刘磊,郑红军,金成植.过程式语言的动态部分求值技术[J].吉林大学自然科学学报.1995