LL(1)文法句法分析程序自动生成的研究及实现

文中分析了对LL(1)文法采用递归子程序的方法进行句法分析的特点,讨论了递归子程序自动生成的一般规则,最后根据这些规则给出了递归子程序自动生成的算法及其实现.     

基于汇编语言的递归算法教学设计探讨

本文根据作者多年的教学和软件开发经验,从递归的定义出发,通过对一个汇编语言递归子程序的剖析,详细分析了递归调用在类推和返回过程中堆栈的变化,从汇编语言的角度讨论了递归的本质和特点,这对学生正确理解和应用递归解决实际问题有很好的参考价值。     

递归子程序的依赖性分析及其应用

程序依赖性是一种重要的程序分析、理解与维护方法,广泛应用于软件工程及软件逆向工程的各个方面,但递归子程序间的依赖分析一直是依赖性分析中的难点。为此,该文提出了一种新的递归子程序间的依赖性分析方法,它首先分析子程序内部的各种依赖关系;然后,结合子程序调用图分析子程序参数间的依赖关系;最后,通过模拟递归子程序的执行过程来分析它们之间的依赖关系。利用该文提供的方法可得到比较精确的递归子程序间的依赖关系。     

组织循环和子程序的一组指令

§1.引言循环的效率如何,是决定一台计算机或一个语言使用效率的重要因素之一。本文建议一组指令,可用来组织含非常出口的非递归子程序和循环,以及无奇点的递归子程序。文中证明了相应程序结构的正确性,并给出一个存储分配算法。这组指令较某机现行方案为简,论证起来也简单得多。在§2中说明机器的结构和指令。§3描述循环的程序结构和给出正确性证明。§4描述子程序的结构。§5介绍 S 站存储分配算法。     

计算机病毒描述语言VDL

计算机病毒的检测与清除是一项复杂任务,对每一个新病毒,需要增添新的特征码,编写清除子程序。提出一种用于描述计算机病毒的计算机语言VDL,它以统一的方式描述计算机病毒,目的在于自动生成计算机病毒的检测与清除子程序。用BNF范式给出VDL的语法,用自然语言解释它的语义,并给出了一个例子。     

FORTRAN语言递归调用的一种方法

为了能在IBM PC的FORTRAN语言中实现递归算法,本文详细分析了在IBM PC上,FORTRAN语言调用子程序的全过程,并在此基础上提出了一种用FORTRAN语言作递归调用的方法。附录中给出了有关的实例。     

Autolisp编程语言在绘图中的应用

本文根据 Autolisp 语言的特点和应用 Autolisp 过程中的经验,对 Autolisp语言应用中的一些技巧和方法进行讨论,包括一些函数的应用,子程序和递归,图素的获得,内存管理及 Autolisp 对 BASIC 语言数据文件的调用等有关问题。     

子程序类型和子程序类型变量

本文讨论子程序的结构。它回顾“子程序类型”,揭示当今尚存在的问题。提出了如“子程序类型的变量”、“(?)选取指明的类型”等新的概念,以及提出一种严密的子程序结构。这对发展新的程序设计风格是有帮助的。     

一般结构语义下限定的完备性与可满足性

本文提出用一般结构极小模型解释限定公理,并证明在此语义下,二阶限定是完备的.此外,作者还把Mott的非速归闭限定引入二阶限定,证明在一般结构语义下,二阶非递归闭限定是可满足的.     

运算构造和检验系统FC的设计和实现

运算构造和检验系统FC(function constructor)是形式规约获取系统SAQ(specification acquisition)的一个子系统.在SAQ系统中,运算用于表示规约的语义.FC提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍FC的功能、结构和实现技术,并讨论了下一步的改进方向.     

规范化对象模式森林--复杂对象模式的范式

首先，我们基于对象间的语义关系，定义对象依赖，并讨论了其相关的定义及其性质，然后定义了对象范式－－规范化对象模式树和规范化对象模式森林，指出规范化对象模式森林是我们所要求的复杂对象模式的结构。     

基于C语言的递归函数教学方法探讨

本文从实际教学出发,首先讨论了递归的基本条件,总结出递归程序的设计方法,然后详细分析递归程序的执行过程并给出了递归程序的一般结构,最后让学生自己分析汉诺塔问题并动手写程序,在教学中取得了较好的效果。     

基于类型理论的递归元程序设计

本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。     

二叉树遍历递归算法非递归化的讨论

尽管递归算法具有结构简炼、清晰、可读性强等优点,但递归算法在执行过程会耗费太多的时间和空间,为了追求算法的时空效率,必须将递归算法转化为非递化算法,问题才能得到有效解决,本文讨论了在递归算法执行过程中栈的变化和给出了改进的非递归化算法。     

基于类型理论的递旧元程序设计

本文提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义．这样，递归类型不仅可以表示通常的递归数据结构，还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．     

符号处理的机器语言

用表格加工的各种语言,能很容易地写出复杂的、灵活的机器程序。按任意的序列把存储寄存单元联接起来使形成表格和表格结构,它们就是这些语言的加工单位。文中对于递归的子程序和谱系式的程序都作了持殊规定。这些特别的语言已经用来编写过游戏比赛、问题求解和其它“机智的”程序。     

MIS中数据库文件的通用性

本文讨论了在MIS中数据库文件的通用性问题,并根据库文件的结构,给出了在高级语言状态下直接读写库文件的通用子程序。     

一种基于联合深度神经网络的食品安全信息情感分类模型

针对因中文食品安全文本特征表达困难,而造成语义信息缺失进而导致分类器准确率低下的问题,提出一种基于深度神经网络的跨文本粒度情感分类模型。以食品安全新闻报道为目标语料,采用无监督的浅层神经网络初始化文本的词语级词向量。引入递归神经网络,将预训练好的词向量作为下层递归神经网络(Recursive Neural Network)的输入层,计算得到具备词语间语义关联性的句子特征向量及句子级的情感倾向输出,同时动态反馈调节词向量特征,使其更加接近食品安全特定领域内真实的语义表达。然后,将递归神经网络输出的句子向量以时序逻辑作为上层循环神经网络(Recurrent Neural Network)的输入,进一步捕获句子结构的上下文语义关联信息,实现篇章级的情感倾向性分析任务。实验结果表明,联合深度模型在食品安全新闻报道的情感分类任务中具有良好的效果,其分类准确率和F1值分别达到了86.7%和85.9%,较基于词袋思想的SVM模型有显著的提升。     

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较     

OPSE的语法（语义）分析程序的自动生成

本文描述用Lex和Yacc自动生成“面向Pascal结构编辑器”的语法(语义)分析程序。为支持对被编辑Pascal程序的静态语义检查,在Baekus范式的产生式中插入语义动作,使得所产生的分析程序不仅能准确指出错误位置,而且能指出错误性质。