一个简单面向对象语言的抽象机定义及其可视化实现

定义一个简单面向对象语言SOOL的抽象机SAM, 并设计开发了SAM的可视化实现系统VisualOO. VisualOO系统可以把任意一个SOOL源程序转换成SAM内部表示, 并且动态演示该程序在SAM上的执行过程. 定义的抽象机及其可视化系统可以应用于程序设计语言形式语义学的教学中.     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

抽象数据类型的极大代数语义

传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。     

谈形式语义学

形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。     

一种面向对象的函数式语言

设计了一种对象式和函数式相结合的混合型语言OOFL(面向对象的函数式语言),详细给出了它的语法及语义定义,提出了相应的实现方案,并在微机上实现了OOFL到C++的转换系统.从而提供了一种面向对象机制的描述工具.     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

具有广播功能的CSP操作语义

并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

逻辑理论中的语词定义类型探新

句法定义和语义定义是语词定义的两种重要类型,前者的作出无须假定关于相应系统的一种解释,也无须满足某些语言外条件(如可证实性),而后者的作出必须先假定关于相应系统的一种解释,也必须满足某些语言外条件(如可证实性)。     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

程序设计语言的抽象与语言族模型

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。     

高级语言间转换理论初步

本文在比较成熟的形式语言理论(特别是指称语义)的基础上,提出了程序设计语言间转换的初步理论,其中包括:不同语言语法域间的等价性;不同语言的终结符、非终结符之间的等于性、一致等于性和依赖等于性等概念和性质;以及在语言转换语法分析中的语义等价归约和推导的概念、性质;最后按上述理论,给出了高级语言问转换的理论算法及其正确性的证明.     

查询语言CQL可视化编程器的设计

可视化查询语言是以图符为语素的编程语言，其语句的组织和结构不同于传统的字符语言，因此需要为可视化查询语言设计专门的语句编辑器，通过对用户接口的有限状态转换机制，可视化用户界面设计、编辑器的实现和一个使用实例的陈述，简要介绍了可视化查询语言CQL编辑器的设计思想和实现方法，该编辑器为土木工程师提供了一个方便、快捷、简单易学的编程工具。作为图符语言的用户接口、具有友善性、简易性、可视性等特点。     

Delphi与汇编语言的混合编程

灵活运用多种语言进行混合编程,是软件开发技术的一个重要方向.结合具体实例,讨论了Delphi与汇编语言混合编程的方法,阐述了混合编程方法能充分发挥Delphi面向对象、可视化与汇编语言占用内存少,执行速度快的优势,很好地提高软件的性能.     

软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.     

基于Visual Basic的计算机考试程序设计

VisualBasic作为可视化编程语言 ,具有简洁、开发效率高等优点。本文阐叙了如何遵循面向对象的程序设计思想 ,利用VisualBasic中丰富的控件及内嵌的数据库 ,来完成和实现计算机考试系统的程序设计。     

单片机C与汇编混合编程在DS18B20温度采集中的应用

在嵌入式程序设计中,C语言和汇编语言是两种应用最广泛的编程语言,它们各有突出的优点。本文中详细介绍了这两种编程语言混合调用的方法,并以DS18B20温度采集系统为例,在程序设计中灵活运用这两种编程语言,使程序简洁而高效,对学生学习、运用单片机C语言与汇编语言的混合调用,解决实际问题具有一定的参考价值。     

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。