张素琴
- 作品数：54 被引量：397H指数：10
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划“八五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术经济管理电子电信文化科学更多>>
- 面向多目标机的交叉调试器的研究与设计被引量：14
- 2003年
- 为了缩短嵌入式软件开发的时间和提高嵌入式软件的质量,需要研究和开发新的交叉调试器技术。该文研究了交叉调试器的原理和主要技术难点,针对嵌入式软件开发环境与运行环境不同,以及嵌入式芯片多样性的特点,采用构件组装的技术,提出了一种全新结构的交叉调试器的设计方案。此设计方案可以支持多种嵌入式目标机,并且具有良好的目标机重定向性、功能可扩充性和平台可移植性。
- 吴疆田金兰张素琴
- 关键词：嵌入式软件开发环境交叉调试器远程调试设计方法
- 可信字节码程序虚拟机的构造和验证
- 虚拟机是平台无关字节码程序的解释执行环境，是当今网络软件和计算设备中广泛使用的重要技术。
针对字节码程序和虚拟机平台的程序验证研究，可以提高相关软件的可信程度，具有重要的实用价值和理论价值。虽然近年提出了一系列...
- 董渊任恺王生原张素琴
- 关键词：字节码网络软件
- 文献传递
- COC++ 编译器面向对象技术的实现被引量：3
- 1997年
- ＣＯＣ＋＋编译器的功能是将Ｃ＋＋源程序转换为等价的Ｃ程序。ＣＯＣ＋＋编译器不是使用传统的构造方法而是采用面向对象的设计技术，将相应成分如符号表，语法分析等模块封装为类，并以Ｃ＋＋语言实现。符号表类封装符号表及其建立、登录、查找等操作。基于Ｃ＋＋的作用域规则，ＣＯＣ＋＋编译器为每个作用域中的符号建立一个符合表，利用指针链指明嵌套关系和继承关系。语法分析的模块设计为一个抽象类，定义所有语法成分类的公共特性和公共接口。实际的分析工作和语义处理工作通过Ｃ＋＋语言的多态机制由相应的派生类各自的成员函数实现。这样类化的编译结构不会因为增加某些语言成分而做很大的改动。阐述了面向对象的技术用于编译系统的设计和开发的特点。
- 张素琴辛宁蒋维杜
- 关键词：面向对象程序设计编译器
- 面向对象编译类库构造被引量：10
- 2003年
- 通过对编译系统进行面向对象分析,探讨了基于类库的编译器构造方法。在抽取语言文法基本结构的基础上,构造了可复用的编译基本类。编译基本类模型以语法单元为单位,集编译过程中词法分析、语法分析、语义处理、优化和执行等操作与一体,打破了传统编译器中各个编译阶段的空间分割。在基于类库构造的编译器中,对符号表做了类化处理并采用了动态的多级结构,同时将语言语法和语义的处理相分离。提高了编译成份的可扩展性、可复用性和可维护性。
- 张素琴戴桂兰田金兰蒋维杜
- 关键词：面向对象编译器类库词法分析语法分析语义处理
- “编译原理”课程实验项目介绍被引量：4
- 2009年
- 在"编译原理"课程的教学中,实验项目是十分关键的部分。Decaf/Mind项目是近几年清华大学计算机系本科生"编译原理"课程的主体实验项目,在该项目中,学生在实验框架基础上,针对一个简单面向对象语言的实现开展4～5个阶段的编程实验,对理解和巩固理论知识以及提高软件系统的开发能力有较大帮助。本文就Decaf/Mind项目的背景、内容以及实施情况进行简要介绍。
- 王生原董渊张素琴
- 关键词：课程实验
- Internet环境中的数据库信息发布途径被引量：9
- 1998年
- 当Ｉｎｔｅｒｎｅｔ成为信息社会最重要的传递手段以后，应用系统的范围和客户端的结构就都多样化了．与Ｉｎｔｅｒｎｅｔ的集成成为数据库研究者面临的非常急迫和重要的研究问题．因为多数已经存放在计算机系统内的数据是驻留并由数据库系统管理的，并且大量即将进入计算机系统的数据也将通过数据库系统管理，目前的数据库系统并不支持与Ｉｎｔｅｒｎｅｔ的集成，它们将成为未来的遗留系统（ＬｅｇａｃｙＳｙｓｔｅｍ）．该文介绍了作者利用Ｉｎｔｅｒｎｅｔ实现ＴＣＰＩＭＳ系统数据库信息发布工作的设计思想，描述了基于ＷＷＷ视图的Ｉｎｔｅｒｎｅｔ信息结构和基于脚本描述文件的改造工具．
- 赵洪彪张素琴周立柱
- 关键词：数据库脚本文件信息发布INTERNET网
- 字节码虚拟机的构造和验证被引量：2
- 2010年
- 提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.
- 董渊任恺王生原张素琴
- 关键词：字节码
- 多目标交叉编译技术——GCC与Zephyr编译器构造的分析与比较
- 2002年
- 1引言
编译系统是任何计算机系统中不可缺少的重要部分.编译系统的研制因其技术复杂、难度较高而需要投入较多的人力、物力和花费较长的研制周期.过去编译器均是针对某一特定语言和目标机而编写的.随着计算机的飞速发展,过去那种编写编译器的方法已很难满足需要.在八十年代初,针对各种程序设计语言的后端具有较大共性的特点,国外相继开发了支持多种语言的编译系统,并很快成为各计算机公司编译系统采用的通用方法.
- 戴桂兰张素琴田金兰蒋维杜戴军
- 关键词：计算机GCC编译器
- 程序设计语言异常处理机制被引量：5
- 1998年
- 介绍程序设计语言异常处理的基本概念，对Ｃ＋＋、ＣＬＵ、Ｅｉｆｅｌ几种语言中的异常处理进行了说明与比较，并就如何利用这种机制提高软件可靠性进行了讨论。
- 陈娟张素琴王萍
- 关键词：异常处理程序设计语言
- OpenMP中隐式数据并行编译策略被引量：2
- 2004年
- 为了实现OpenMPFortranAPI2.0中通过WORKSHARE语句提供的对隐式数据并行的支持,提出了计算划分原则、计算划分算法以及实现方案。还给出了针对编译中产生的冗余同步以及相容的DO循环等情况的优化技术。将实现方案与EFC(Intel产品编译器)进行了对比测试。结果表明,该并行编译策略有效地实现了对隐式数据并行的支持。所述优化技术能够提高并行程序执行效率:消除冗余同步对于负载不平衡的情况所提高的效率与各线程最小总等待时间成正比;合并循环体能提高7%左右的效率。
- 蒋弘山田金兰张素琴胡长军
- 关键词：OPENMP
