一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

一个高级语言编译程序的设计

某高级语言是一种适合于嵌入式应用的实时高级程序设计语言,在航空电子领域被广泛应用。本文总结了我们在研制某高级语言编译程序中所做的工作。首先介绍了该编译程序的总体结构及有关的设计考虑,然后分别介绍编译前端,与机器无关的优化、编译后端等组成部分的功能及其实现特点。     

并行/多处理和缩减指令集计算机

并行/多处理计算机加快了处理速度,取得了较好的性能价格比,目前主要有两种体系结构——总线结构及无总线结构。缩减指令集计算机(RISC)则是高性能单处理机的一种设计,它减少了很多不常用的指令.简化了硬件,国外已逐渐走向商品化,针对我国目前的实际情况也是一个值得借鉴的途径。将缩减指令集设想用于并行/多处理计算机,更是一个新的探讨方向。     

使用YACC生成的语法分析程序

§1 问题的提出YACC-Yet Another Compiler-Compiler,是美国 Bell 实验室研制的软件产品,是一个语法分析程序的自动生成器。在目前计算机技术发展极为迅速的世界上,语法分析的自动生成器已成为开发软件普遍使用的工具之一。YACC 是各类生成器中的姣姣者,自一九七七年宣布使用以来,许多常见语言,如 C,APL、PASCAL,其编译系统的实现,都使用了 YACC 来构造诘法分析程序。     

Casl语言及其编译器的设计

论述Casl语言在个人微型计算机上的编译程序的设计方法。     

基于U—CODE中间语言上的代码生成器

本文描述了一种编译程序的代码生成算法,它是为JOVIAL高级语言编译程序而设计的。其中间形式采用了STANFORD大学设计的U-code中间语言,本代码生成器就是以U-code语言为源语言,生成到多个目标机上。本文在分析了U-code特点之后,针对U-code的结构,和目标机汇编语言的功能,将代码生成工作分成了三遍,模拟/归约处理;代码派生和代码汇编。然后,在介始了归约算法、存贮分配算法、寄存器分配算法的基础上,对三遍处理的工作做了详细论述, 给出了程序设计结构。特别是在模拟/归约算法上,本文给予了详细描述,其算法的优劣,则直接影响着代码翻译的质量。总之,我们的目标是多种机型,该代码生成设计算法仅在变更少部分就可达到目的。     

UHDL语言及其编译器的设计与实现

本文介绍了一种通用硬件描述语言——UHDL及其编译器的设计与实现。该语言具有多层次硬件描述能力,良好的程序设计风格和丰富的数据类型,能够支持从系统级到门级的模拟过程。该语言编译器已在MICRO—VAXⅡ上用C语言实现。为了较好说明UHDL语言及其编译器的性能,本文各部分均给出了相应的示例。     

Java虚拟机中动态内联策略的改进

在Java虚拟机中,传统的基于计数的热点探测方法往往不能得到方法间的调用关系,因此,采用这种机制的动态编译器会丧失一些优化机会,比如方法内联.提出了基于在线反馈信息的动态内联策略.同已有的内联算法相比,该方法引入了BC Map,它由基线编译器对方法进行第一次编译时构建.BC Map可以确定对方法M进行调用的字节码在其调用者中的索引.通过构建Guarded Rec记录,编译器能够准确判断出虚方法的接收者对象的类型,进而确定方法间的调用关系.使用该信息指导的保护内联优化可以避免静态判断虚方法的接收者对象类型的缺陷,得到更加准确的动态信息,使应用程序的性能得到提升.      

美国空军标准语言JOVIAL的分析与评价

JOVIAL语言是美国空军唯一的标准语言。本文根据作者从事军用计算机语言研究的经验,从可靠性、可读性、效率、可维护性、可移植性、可用性、简明性、抽象性以及实现等角度对JOVIAL进行了分析、评价,并将JOVIAL与Pascal、Ada等语言进行了适当的比较,最后指出了作为军用语言的JOVIAL还缺少的语言设施。