【摘 要】
：
<正> 一、前言所谓“程序设计风格”,通常是指由编译器对程序的源代码进行静态分析时所能确认的特性。目前,关于 OOP 风格有两种理解:1.采用非面向对象程序设计语言(OOPL)进
【机 构】
：
北京大学计算机科学技术系,北京大学计算机科学技术系100871,100871
论文部分内容阅读
<正> 一、前言所谓“程序设计风格”,通常是指由编译器对程序的源代码进行静态分析时所能确认的特性。目前,关于 OOP 风格有两种理解:1.采用非面向对象程序设计语言(OOPL)进行程序设计,使程序呈现出一定的 OOP 风格。2.采用 OOPL 遵循一定的规范或法则进行 OOP,使程序呈现出良好的 OOP 风格。在本文我们关注后者,在 Demeter 法则的基础上,以 C~(++)为背景,提出了一个采用 C~(++)进行良好风格 OOP 时所遵循的法则:
其他文献
关于行动的推理是研究行动及其所带来的变化的规律的一个人工智能分支。近年来,关于行动的推理技术一直伴随着非单调推理等一系列相关领域的开展而发展,出现了一系列新的理论
<正> 1.引言模态逻辑自动推理的归结方法始于Farinas-del-Cerro的工作,近几年,又得到了进一步的研究和发展。一阶模态逻辑是在命题模态逻辑系统上增加了全称量词和存在量词,
<正>1.引言当前的数据库系统按其体系结构可分为两大类:一是单一式体系结构,如FOXBASE、FOXpRO、CLIPPER、PARAI洲〕X等。这一类系统大多实现在PC机上,其特点是整个数据系统
本文分析了 J.F.Allen 的时序推理算法的局限性,给出了一种新的有效算法,并基于 ATMS系统的特点,建立了一个新的时序推理系统 TRS。
如何实现数据库互操作性，目前正在从两个方面进行努力：一是发展标准，即建立一个统一的数据库规范；二是承认数据库之间存在差异这一现实，构造可互操作数据库平台。本文将从构造可互
本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究
<正>递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。
<正> 1 引言众所周知,软件工程首先涉及坎件开发风范,风范勾画了各项软件活动的“样式”。然后是每种活动的方法,方法提供了“如何做”的技术,通常还涉及表示法(语言的、图形
<正>一、研究背景多年软件开发的实践,人们积累了丰富的经验,也熟悉了软件开发过程的一些实质性的关键环节。软件开发人员知道如何去协调各个阶段的开发任务,如何强调某些步
当前,用户们正面临着一个多厂商异种数据库环境,对数据库间的互操作造成了极大障碍。笔者认为,就关系型数据库而言,信关乃不失为实现互操作性的可取方法;与 IBM 的 DRDA 相比