面向对象程序设计语言研究现状

面向对象程序设计已成为一种重要的程序设计范型，被广为接受和使用，数量众多的程序设计语言提供了对这种范型的支持，本文综述了面向对象程序设计语言的研究现状，着重讨论了如下几方面的问题：语义研究、类型系统、语言特性、分布性、语言的变种及Ｓｍａｌｌｔａｌｋ等。     

子类型的指称语义

继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题,本文针对继承关系的一种形式一一对象间行为规范的继承,即类型关系,探讨了其指称语义,基本思想是将予类型关系视为类型强制通过类型强制函数将子类型对象解释父类型域中。     

基于C++的STL编程思想

目前在程序设计领域中面向对象方法占据着主导地位，但其自身也固有一些不足和缺陷。为了能更好地重用软件，有效提高软件的生产率，仅有面向对象的程序设计思想是不够的，还需要泛型程序设计思想。泛型机制是编程语言和编程思想的一次革命。C＋＋语言提供的STL便是面向对象和泛型程序设计思想相结合的一个良好典范。     

00P中的构造函数、析构函数剖析

面向对象程序设计(00P)的初学者往往对构造函数、析构函数的运用以及赋值运算符的重载感到困惑，本文通过一个字符串类String的简单实现来澄清这些问题，并指出一些实际应用过程中需要注意的事项。     

面向对象C++程序设计教学改革

程序设计课程的教学目的是培养大学生的编程能力，授课的重点应该放在算法上而不是语法。C^ 语言不是纯面向对象的语言，在教学中尽早引入面向对象的思想是学生能否接受和掌握面向对象程序设计方法的关键。新的教学体系和教材反映了C^ 的新发展，突出了函数模板和类模板的应用。实验的安排也是围绕算法展开，首先采用控制台程序训练大学生的算法编程能力，稍后引入MFC编程来培养大学生Windows下可视化编程的能力。     

Visual FoxPro3.0的程序设计

Visual FoxPro 3.0(简称VFP 3.0)虽然继续支持FoxPro 2.x所使用的标准的结构化程序设计方法,但大力提倡和鼓励用户使用面向对象的程序设计方法。为了使读者能够更好地了解和使用面向对象的程序设计方法,本讲将循序渐进地介绍如下内容: 面向对象程序设计的基本概念。 Visual FoxPro新增命令与函数。 面向对象程序设计的方法与实例。     

基于实际编程环境下的C++语言课件设计

本文提出了一种新的《面向对象程序设计及C++》课程的课件设计思路,根据《面向对象程序设计及C++》这门课程实践性强的特点,将课件上的教学内容与实际编程开发环境紧密结合,把培养和提高学生的实际编程能力的最终目标处处融合在教学过程中,使得《面向对象程序设计及C++》的教学工作变得简单、快捷和有效。     

硬件描述语言VHDL指称语义的研究

VHDL是一种广泛使用的硬件描述语言，但长期以来缺乏严格的形式语义，文章介绍并分析了若干具有代表性的VHDL指称语义的研究工具，在此基础上，简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。     

Proteus仿真技术在8051C语言程序设计教学中的应用

在分析Proteus仿真方法的基础上,构建了一个8051C语言程序设计基础实验仿真系统,设计了一个典型的实例程序,表明了用Proteus进行8051C语言程序设计的仿真,实验系统搭建简单容易,仿真过程形象直观,为8051C语言程序设计教学提供了一个很好的实验手段。     

C语言程序设计课程中的计算思维探析

C语言程序是一种计算机技术,现在已经被广泛应用于各个领域,推动各大行业的发展,越来越得到人们的重视,因此形成专门的学科—C语言程序设计。进行C语言程序设计课程教学时,不但应用到了传统的抽象式教学方法和灌输式教学方法,还应用到了实践性和驱动性等教学方法。但无论哪一种方法,在教学过程中或多或少都会提到计算思维,可想而知计算思维在C语言程序设计课程中的重要性。对此,文章根据C语言程序设计课程教学经验,对C语言程序设计课程中的计算思维进行了详细分析。     

mJava到Micro-Dalvik虚拟机的编译验证

针对类Java的面向对象语言_mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了_mJava语言和Micro-Dalvik的操作语义.从_mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将_mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了_mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测._mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的.     

The object-oriented approach [to programming]

Object-oriented is a popular expression that can be applied to a language, a user-interface style, an approach or even a database. The author aims to describe the concepts as applied to a programming language. He also describes an object-oriented user-interface style, giving insight into how object-oriented design and programming aids the software development process     

C#和Lisp编程接口问题研究

C #语言是微软最新推出的 .NET框架的首选语言 ,具有面向对象、高性能、安全稳定等特点 ;而Lisp语言是人工智能领域的主要语言。文中研究了应用系统开发中的混合语言编程问题 ,列举了C #和Lisp这 2种不同的程序设计语言之间的接口编程方式。     

一种不确定性语义计算模型

随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性.