一个测试程序自动生成器的设计与实现

本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的程序,而且还可按用户要求生成具有某种语法现象的程序,另外,该生成器在生成策略、生成算法及推导机制等方面也有自己显著的特色。     

代码生成语言指称语义的自动变换系统

本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。所采用的方法是,把每条语义公式变换为LR语法分析器制导的语义程序。     

LR分析法在词法分析器自动构造中的应用

提出了一种新的自动构造编译程序词法分析器的方法,LR分析法通常用于语法分析,但只要适当修改LR分析总控程序,就可将LR分析法用于词法分析器的自动构造。该方法的优点不仅在于将词法分析器自动构造方法与语法分析器自动构造方法统一,简化了编译程序的设计和构造,而且该方法自动化程序较高,只要确定描述单词的文法和词形编码表,便可自动生成任何程序设计语言编译程序的词法分析器。     

可视编译器的设计与实现

通过一个实际的可视编译器开发实例,描述编译器前端的实现方法。这个编译程序除了易于操作的窗口程序外,还包含了标准C语言子集的编译器。这套编译器涵盖了词法分析器、语法分析器、语义分析器、中间代码生成器和简单错误处理器等一整套程序。通过这个实例可以直观地表现词法和语法的构造过程,图文并茂,生动说明编译器中词法器、语法器的功能及其构造过程。     

基于语法树和JavaCC的程序题自动评分系统

为了提高程序题自动评分的准确性,及解决传统评分方法无法从语法结构和语义角度衡量错误的学生程序与正确答案之间的相似度,提出了一种基于抽象语法树匹配的程序题自动评分方法。文中以JavaCC技术为核心,首先通过词法分析、语法分析和语义分析生成错误列表和抽象语法树的中间表示,然后通过语法树切片匹配得分,最后和错误列表结合给出评分结果。文中详细论述了各个模块的设计方法,着重讨论了抽象语法树生成并匹配的细节,设计并实现了一个传统方法与语义分析结合的C＋＋程序题自动评分系统。通过对实际考试的结果进行实验,进而验证了该系统的实用性与有效性。     

基于产生式的多语言程序理解的算法

提出一种程序理解实现方案,通过将程序设计语言的词法规则和语法规则以产生式表示,设计基于产生式多语言程序处理算法,将产生式自动转化为对应的词法和语法规则函数,使得不同的程序设计语言规则可以采用统一的方式描述,从而可用一套程序理解系统实现对多种程序设计语言的程序理解,以后增加某种程序设计语言的程序理解,只要定义对应程序设计语言的词法和语法规则产生式即可实现,有效地解决了程序理解系统的共享性难题。     

SLR(1)词/语法分析的自动构造

主要讨论了SLR（1）词／语法分析器的自动构造，自动生成的SLR（1）语法分析器可从自动生成的SLR（1）词法分析器中获得测试数据进行语法分析，论文相关的软件除可用于编译原理课程教学演示外，还可用于实际编译程序的SLR（1）词／语法分析器的自动构造。由于具有SLR（1）分析表自动构造功能，因此该软件还可作为软件工具用于程序设计语言本身的设计和构造。     

语法制导的语法错误校正

对于以语法制导编译程序为代表的编译的系统研究使得有可能对语法错误的自动校正进行类似的系统研究。本文描述了语法制导语法错误校正系统 EXPL,介绍准确地指出语法错误的位置,生成可能的校正集合及从这样一个集合中选择最佳校正的方法。一个特别有指望的研究方法包含了使用语义的信息,有助于消除不适当的语法校正。     

机器描述形式的代码生成方法

1.前言目前,编译自动化已成为计算机科学的一个重要课题。编译程序自动生成的理想化目标是:输入一种程序语言和一种计算机描述,输出在这种计算机上运行的这种语言的编译程序。然而,由于人们对程序语言和计算机的语义不能给出适当的描述,使得至今尚未产生这样一个软件工具。实现编译自动化的现实方法是:对编译程序的各个部分分别实现自动化。     

生成编译程序的一个系统(Ⅰ):语法分析程序的生成系统

直接从源语言公式机械地生成相应的编译程序,这是编译系统研究的一个重要方面。它主要是研究如何设计出一个构造系统,将语言的语法公式作为初始信息供给构造系统,通过执行构造系统就可获得相应的编译程序。我们对此进行了初步探索,本文着重介绍语法分析程序的生成系统。此外,也介绍了与此有关的语法分析程序的形式以及对语言的一些规定。     

UCB策略在Prolog中的应用

Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言.它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中.这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功.虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大.本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略.     

Godel语言延迟声明语句的语义及其实现方法

Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。     

基于可视化程序设计语言的编译系统

采用面向对象技术设计可视化程序设计语言的编译系统，通过对复杂的可视化图片语法进行分析，将各语法现象以语法单元类的形式进行抽象分类，提出了编译器－编译器的设计策略，给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统。     

基于边缘轮廓特征的实时车型分类

采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器-编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法.主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统.通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统.