支持构件自描述的CAR_CLSID机理剖析

CAR构件技术是面向构件的编程模型,它兼容微软的COM并对COM进行了扩展。该文分析了COM的不足之处,提出了以CAR_CLSID扩展CLSID的方案,并应用到CAR构件技术之中。CAR_CLSID是对CLSID的扩展,通过CAR_CLSID,客户可以不依赖于系统注册表来创建CAR对象,CAR构件不需要安装和注册即可被客户端使用,而且可以很好地描述构件依赖关系,这些都有力地支持了构件的自描述。该文从以上各个方面深入剖析了CAR_CLSID的机理。     

C＋＋函数重载机制及其实现

多态性是面向对象程序设计的重要支柱之一。函数重载机制在Ｃ＋＋中用来支持多态性。本文对对Ｃ＋＋中函数重载机制实现中的主要问题提出了重载函数链表、函数类型匹配和系统换名等技术，完成Ｃ＋＋编译系统中函重载的实现。     

造纸废水处理现状及前景

介绍了国内外造纸污水处理现状及发展前途。     

希望在春天里——长平公司家访、亲情帮教侧记

晋陵公路上，一辆中巴车正在疾速行驶，车上坐着几位肩负“特殊使命”的人，有长平公司宣传部部长张海丰、通风部党支部书记郜峰、已经成为队干部的退伍军人闰国清，还有几名农民轮换工。他们此行的目的地是陵川县西河底村、附城镇，任务是对李峰、郭文广两名“三违”“常旷”人员进行家访，希望通过亲情帮教，使他们重返工作岗位。     

面向对象语言和C＋＋讲座

本讲座从面向对象语言的基本概念和主要特征出发,着重介绍了目前最为流行的面向对象语言C++。但又不是C++的编程辅导,介绍给大家的是关于面向对象语言的本质,特征和C++语言的特性,希望有助于读者对面向对象技术和面向对象语言有比较深刻和全面的了解,帮助您更好使用C++语言和从事面向对象的研究和实践。本讲座有六讲: 第一讲:什么是面向对象语言 第二讲:面向对象语言的基本特征 第三讲:C++语言的基本特性 第四讲:基于C++语言的面向对象分析与设计 第五讲:C++语言的基本类库 第六讲:对于发展中的C++语言的评价     

斯坦福大学计算机科学系的编译原理课程分析

<正> 一、斯坦福大学本科生"编译程序"课程大纲 (1)教学内容作为本科生学习编译程序的课程,给学生介绍编译程序实现的原理和实践经验与技术。内容包括词法分析,语法分析理论.语义分析.运行环境、代码生成和优化。课程还包括一个实验题目、一些书面作业.期中测验和期末测验。学生的实验题目是完成一个简单的面向对象语言的编译程序。     

编译基础设施研究进展初谈

1 引言为便于开展对计算机体系结构、编程语言和编程环境的研究,必须能够快速地产生高质量的编译器。编译器的构造是一个繁琐的工作,经常是一个瓶颈。在通常情况下,尽管必须修改的成份仅占整个编译器的一小部分,但却要重新构造整个编译器。在编译器成份和算法方面虽已积累了丰富的研究成果,尚未能为广泛编译器开发者所共享。随着嵌入式系统的迅速发展和高性能体系结构的推陈出新,对编译器的开发速度和质量提出了新的挑战和需求。为此,人们在编译基础设     

字节码虚拟机的构造和验证

提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.