合成语言FOPL实现注记

合成语言ＦＯＰＬ是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论ＦＯＰＬ语言的实现技术。     

Java语言入门——第四讲 面向对象程序设计(一)

Java是一种完全面向对象的程序设计语言,不再支持过程式的程序设计。在C++中由于混用面向对象和过程式程序设计而引起的问题,在Java中将不再存在。本讲首先介绍面向对象程序设计的基本概念,然后介绍在Java中如何实现面向对象的程序设计。     

关于面向对象的类的形式化研究

在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。     

面向对象的PostScript程序设计

PostScript语言是一种新兴的程序设计语言，它具有一般程序设计语言的特点，又有很强的图形描述功能，目前已广泛应用于电子印刷等领域。NeWS窗口系统PostScript语言进行了输入和面向对象的扩充，形成面向对象的PostScript语言，本文对面向对象的PostScript语言进行介绍，着重讨论面向对象的程序设计方法。     

OODB的支撑技术—持久程序设计语言（O＋＋和E的探讨）

持久程序设计语言是实现当前很有发展前途的面向对象数据库的一种支撑技术。这种技术是通过面向对象程序设计语言的扩充，使之具有持久存储的设施，从而能够用来构造出关系数据库中任意复杂的持久的数据结构。本文主要介绍了Ｏ＋＋和Ｅ这两种具有代表性的持久程序设计语言，并描述了如何解决在实现面向对象数据库过程中所遇到的诸如隐蔽指针、持久性和数据类型的无关性等几种困难问题。文章还比较了这两种语言的优缺点，希望能对面向     

面向对象思维引导过程中的问题求解

面向对象思想抽象性强,首次接触程序设计的学生难于理解,且面向对象程序设计的教学普遍重代码实现、轻设计思想。针对上述问题,文章分析面向对象思想的思维构建过程,以Java程序设计语言教学为例,探讨如何通过问题求解方式,引导学生运用面向对象思维分析具体问题。     

Java教学中面向对象的思维方式引导

通过简单实例,说明复杂的的问题。针对初学学生,就Java教学中面向对象技术在程序设计中的具体实施进行深入浅出的分析．特别强调对象行为的抽象过程的具体实现。避免懂得了面向对象的技术,用面向对象的语言,没有设计出面向对象程序的情况出现。     

面向对象程序设计在多媒体数字监控系统软件开发中的应用

本文使用面向对象程序设计（OOP）的编程技术,来实现多媒体数字监控系统软件,并给出了使用VisualC 语言的一些实现方法。通过面向对象程序设计（OOP）在多媒体数字监控系统中的应用,可以缩短开发周期,提高软件的可移植性和可扩充性。     

DPC—C＋＋语言的并发性实现

ＤＰＣ－Ｃ＋＋语言是一个支持分布式应用程序设计的面向对象的并发程序设计语言，本文侧重介绍了ＤＰＣ－Ｃ＋＋语言的并发性实现及其程序模型，并简要给出其运行支持系统的设计。     

面向对象的数控加工过程的刀具轨迹仿真

用C 语言和面向对象的程序设计方法设计一个刀具轨迹仿真软件的思想及其实现。     

一种带约束的多态类型系统

本文讨论了一种带约束的多态类型系统,引入了约束类型,约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重工的表示和实现提供了一个新的途径,提高了类型表示的抽象度。本文讨论的类型系统具有两个不同层次的类型结构,约束的引入与肖去是不同层次上的操作,最后,本文人出了类型检查算法Ｗｒ,并证明了此算法中约束的可满足性是可判定的。     

VC++中集合类的使用

结合实例详细介绍了VC ++中表集合类和数组集合类的使用方法和步骤。     

带类型注解的汇编器TAAS的设计与实现

给出了一种带类型注解的汇编器 TAAS的设计与实现 .TAAS分析带有类型注解的汇编代码 ,把类型注解映射进目标文件和可执行文件中 ,产生带有类型注解的二进制代码 ,同时不影响代码的执行语义 .TAAS分析 AT&T语法的汇编程序 ,产生 EL F格式的 x86机器代码 ,并且与 GNU as汇编器完全兼容     

机器语言的类型化及代码的安全检查

根据类型系统思想，为Intel／x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统，机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性，由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中。     

基于规则的数据类型重构技术研究

为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.     

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征，然后对Ａｄａ９５在Ａｄａ８３的基础上所新增加的面向对象设施进行了详细的介绍与讨论。     

多视图编程范式及其编译支持

文中分析了目前面向对象的程序设计方法学存在的结构异常、代码重用难等问题。     

Polymorphic type-checking in scheme

This paper presents a type-inference system for Scheme that is designed to be used by students in an introductory programming course. The major goal of the work is to present a type system that is simple enough to be used by beginner students, yet is powerful enough to express the ideas of polymorphism, abstract data types (ADTs), and higher-order procedures. The system also performs some rudimentary syntax checking. The system uses subtyping, but only in a primitive fashion. It has a type datum which is a supertype of all types, and a type poof which is a subtype of all types. It uses intersection types to control the use of datum and to generate simple but accurate types.     

看门狗电路的探讨

根据看门狗电路的原理,设计出简单适用、性能可靠的TTL型看门狗电路以及价格低廉、性能可靠的微功耗CMOS型看门狗电路,同时还介绍了常用的uP监视器0型看门狗电路。