UNIX分时系统——语言研制工具

语言设计和实现的工具使得在UNIX系统上研制新的程序变得容易。经常使用的工具是程序的生成程序,它编译成C语言,它以方便的形式提供高级算法,而不是把用户限制在事先安排的一组工作。最重要的两个工具是racc(LALR(1)语言分析程序的生成程序)和Lex(使用确定有穷自动机的正则表达式识别程序的生成程序)。它们有广泛多样的应用,包括编译程序,台式计算程序,排字语言和图形处理程序。     

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

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

网格生成软件GRGES的初步应用

为了配合计算流体力学的迅速发展,为了适应航空航天高科技问题数值求解的迫切需要,我们研制了平面区域网格生成软件GRGES.这个软件包括七大模块,即输入、预处理、服务性程序、方法库、网格质量自检程序、输出、总控分析程序,程序全长约6200行Fortran语句.作为通用的网格生成软件,GRGES具有以下4点特色: 1.对选用的网格生成方法作了局部改进和适当的技术处理,使网格生成达到了正确     

应用Lex与Yacc实现设备描述分析

HART现场设备外部特性的设备描述,使主机能对各种现场设备进行操作,为实现主机的互操性,利用专用工具Lex和Yacc实现分析设备描述,建立多种设备的运行数据,使HART现场总线协议的组态软件能够配置多种设备。讨论了Lex和Yacc的词法分析和语法分析技术及设备描述语言,成功开发了能够分析HART协议设备描述的组态软件,实现了HART设备的互操作。     

Lex和Yacc解释程序实现方法

Lex和Yacc是编译程序和解释程序的设计工具,它们都是20世纪70年代由贝尔实验室开发的,目前已经成为标准的UNIX实用程序。它们的应用范围很广泛,既包括从输入文件中寻找模式的简单文本搜索程序,也包括将源程序变换为最佳的目标代码C编译程序等;具有容易修改、程序维护简单等诸多优点。     

UNIX环境下的软件开发工具

本文介绍 UNIX 提供的7个常用软件开发工具,着重阐述每个工具的概貌、功能和应用范围,这7个软件工具是:UNIX 用户接口 shell、静态语法检查工具lint、程序维护工具 make、程序调试工具 adb、语法分析程序生成器 yacc、词法分析程序生成器 lex、全屏幕编辑程序 Ui。     

嵌入式数据库中利用Lex,Yacc设计SQL编译器

随着嵌入式数据库系统的不断发展，对其数据查询的能力提出了新的要求。基于自行设计的嵌入式数据库系统，利用Lex和Yacc工具实现了嵌入式SQL编译器的设计，进一步对所生成的语法树进行了初步的优化研究。结果表明此编译器大大增强支持SQL查询语言的能力。     

一个高效率的关键字自动纠错算法

<正> 一、引音本文根据作者参加复旦大学研制的FPE/l系统的实际工作,开发了一个在微型机IBMPC/XT上的能够非常高效地对程序设计语言中的关键字进行自动纠错的程序。FPE/1是目前正在复旦大学开发研制的面向PASCAL语言的程序设计环境,它把编辑、测试、监控执行和排错等多种软件工具组合成为一个整体。支持用户进行软件开发,以提高软件生产的效率与质量。其中的语法分析器是用户与系统在程序语言上的接口。由于用户在编辑、输入程序过程中常常产生各种词法错误,要求语法、词法分析器能按照一定的准则,自动地纠正这     

LAG—一个词法分析程序的生成程序

LAG(A Lexical Analazer Generator)提供了一个一般的工具,借助于它用户可以描述某程序设计语言的词法(正则表达式)及针对它的加工程序。LAG取用户准备的文件作为输入并且产生一个用PASCAL语言写的源程序,即调法分析程序。     

测试序列管理

测试语言是卫星地面测试总控软件的核心，用户通过使用测试语言来编写测试序列程序，来对卫星的内部各分系统进行测试，以保证卫星的可靠运行。本文介绍了我们在研制卫星地面测试总控软件中研制的测试序列管理系统。     

数据流查询语言的研究与实现

分析了现有的数据流管理系统中的查询语言;举出了一个现实生活中数据流应用的例子;提出了数据流查询的应用场景。通过这个倒子对数据流模型作了形式化的定义,并提出了如何通过窗口操作将流式数据转化为普通关系中的数据。最后提出了一种数据流查询语言MYCQL（My Continue Query Language）,并给出了MYCQL中相关韵文法,并借助Lex和Yacc工具实现了从查询语言生成语法分析树。     

用于控制系统分析和设计教学的一套小型工具──Minitools

Minitools（小型工具）是一套为教学和小型工业问题而专门设计的软件工具。与成熟的商品化的系统相比，它们虽只提供了有限的功能，但更容易学习和掌握。本文介绍了三个这样的程序：DESolver是一个求解微分方程的程序；Frequency是一个频率响应的分析和设计程序；BDESim．是一个基于系统方框图的仿真和频率响应分析程序。这三个程序皆可在Macintosh和IBMPC兼容机上运行。当在IBMPC上运行时，需要GEM环境的支持。本文是基于Minitools的最新改进版本。     

MDX编译器设计与实现

讨论了针对OLAP分析服务器中多维查询语言MDX解析模块的设计与实现。研究了基于Lex和Yacc,将MDX查询语句解析成查询树对象的设计思路与实现方法。结合元数据访问和权限管理,编译器从词法分析、语法分析和语义处理等方面进行深入分析,不仅完成了语法和语义的检查,还可基于角色对用户分析查询进行权限验证,实现信息的安全管理。     

嵌入式数据库中利用Lex,Yacc设计SQL编译器

随着嵌入式数据库系统的不断发展,对其数据查询的能力提出了新的要求。基于自行设计的嵌入式数据库系统,利用Lex和Yacc工具实现了嵌入式SQL编译器的设计,进一步对所生成的语法树进行了初步的优化研究。结果表明此编译器大大增强支持SQL查询语言的能力。     

测试序列管理

测试语言是卫星地面测试总控软件的核心 ,用户通过使用测试语言来编写测试序列程序 ,来对卫星的内部各分系统进行测试 ,以保证卫星的可靠运行。本文介绍了我们在研制卫星地面测试总控软件中研制的测试序列管理系统。     

基于ALI的ADA语言静态分析器的研究与实现

Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。     

C语言词法语法分析工具CParser的设计与实现

程序分析技术包括控制流分析、数据流分析、别名分析、程序切片和程序插桩等技术,在程序理解,代码重构、代码优化和软件自动化调试等方面有着重要的应用,而词法分析和语法分析技术是程序分析技术的基础。本文设计与实现了一个轻量级的C语言词法语法分析工具CParser,通过词法分析、预处理和语法分析三个步骤,实现了根据源代码建立相应的抽象语法树的功能。工具使用简单方便,而且能够完整支持C99标准,可用于克隆代码检测、软件错误定位等后续研究工作。     

一个dBASEⅢPlus菜单自动生成器的设计与实现

介绍了一个dBASEⅢplus菜单自动生成器的设计与实现方法。该生成器的特点是改变了用户针对每一菜单都要进行一次编程的传统方法，使得用户对选择菜单程序的编写简化为在交互工人机对话方式下输入菜单内容及几个简单的参数。用此可生成多种形式有一定新颖之处和良好人机界面的菜单，可有效地加速软件研制的过程。     

数据流查询语言的研究与实现

分析了现有的数据流管理系统中的查询语言;举出了一个现实生活中数据流应用的例子;提出了数据流查询的应用场景.通过这个例子对数据流模型作了形式化的定义,并提出了如何通过窗口操作将流式数据转化为普通关系中的数据.最后提出了一种数据流查询语言MYCQL(My Continue Query Language),并给出了MYCQL中相关的文法,并借助Lex和Yacc工具实现了从查询语言生成语法分析树.     

与设备无关的CAD／CAM软件生成环境

程序分级交互绘图系统ＰＨＩＧＳ（Ｐｒｏｇｒａｍｍｅｒ′ｓＨｉｅａｒｃｈｉｃａｌＩｎｔｅｒａｃｔｉｖｅＧｒａｐｈｉｃＳｙｓｔｅｍ）是一种有用的ＣＡＤ／ＣＡＭ软件生成工具。本文叙述一个应用程序设计环境，ＣＡＤＭＡＤＥ（ＣｏｍｐｕｔｅｒＡｉｄｅｄＤｅｓｉｇｎａｎｄＭａｎｕｆａｃｔｕｒｉｎｇＡｐｐｌｉｃａｔｉｏｎｓＤｅｖｅｌｏｐｍｅｎｔＥｎｖｉｒｏｍｍｅｎｔ）它被设计成为一个标准支持软件的框架，帮助ＣＡＤ／ＣＡＭ程序员去产生一个新的用户ＣＡＤ／ＣＡＭ应用软件。ＣＡＤＭＡＤＥ不是对软件的一种描述，而是提出一套生成应用程序设计环境所必需的规则和风格。