论文部分内容阅读
<正>一、引言近十年来,面向对象技术得到了迅速的发展,目前已经实现的面向对象(00)程序设计语言数以百计,根据不同的视角可对其分类
多方法分派研究现状
【摘 要】
：
<正>一、引言近十年来,面向对象技术得到了迅速的发展,目前已经实现的面向对象(00)程序设计语言数以百计,根据不同的视角可对其分类
【机 构】
：
北京大学计算机科学技术系
【出 处】
：
计算机科学
【发表日期】
：
1996年6期
【基金项目】
：
本文受863高技术计划,,教委博士点基金资助
其他文献
<正>1引言目前,越来越多的用户开始拥有积各种便隽计算设备,例如笔记本心脑PDA等,我们把它们统
这是关于超协调逻辑研究的第三篇，文中将给出一种优先语义作为超协调性的模型论基础，并给出一种表演算系统作为超协调性的证明论基础，这种优先语义和表演算系统，不仅可以包括名种
<正>近些年来,并行性(Concurrency)理论发展很快,为正确理解和对分布式计算系统复杂行为的推
<正>一、引言基于网络的软件密集型系统正在成为当前信息系统的主流。对象技术现在已经被认为是软件开发的主流技术,在异构的网络环境下,如何有效地实现对象计算,要解决的一
<正>一、引言计算机的研究始终离不开理论模型作为背景。计算问题、计算机语言问题、程序设计问题以及计算机体系结构问题,无不建立在相应的模型之上。
<正>这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这
随着计算技术的飞速发展以及超级计算机、医学扫描系统、地质勘测仪器的广泛应用,人面临着分析解释由这些设备产生的大规模数据集的艰巨任
这篇文章是Ｒ．Ｍｉｌｎｅｒ的图灵奖演讲，他回顾了自己在顺序范型的指导下寻找并发的基本模型的艰难历程，并在最后概述一个新的基本并发演算π－演算。全文思路开阔，追本溯原，深入浅出，读来颇受启迪
<正> Agent在AI/DAI和其他计算机学科中正成为一个广泛使用、十分重要的概念,由此产生了一系列新的思想、方法和技术,甚至有人把“基于Agent计算”誉为“软件开发的又一重大
本文将程序的可视化定义为:将程序映射至图画表示。程序的可视化的简单形式常见于软件工程,因此,当代程序可视化的进展有可能影响未来软件工程工具和环境的发展。本文提出了