论文部分内容阅读
本文综述了函数式、逻辑式和面向对象式三种新型程序设计语言的基本特点,简介了这三种程序设计风格相互合成的研究现状,并给出了一些有关的代表性语言。
函数式,逻辑式和面向对象式程序设计及其...
【摘 要】
：
本文综述了函数式、逻辑式和面向对象式三种新型程序设计语言的基本特点,简介了这三种程序设计风格相互合成的研究现状,并给出了一些有关的代表性语言。
【机 构】
：
上海交通大学计算机系,上海交通大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
1991年5期
其他文献
第十六届超大型数据库国际会议(以下简称VLDB’90)在澳大利亚布列斯班举行。VLDB 是重要的数据库国际会议。澳大利亚动员了主要大学和工业界的数据库学者,参加了会议的筹备工
本文利用时间 petri 网,讨论了分析系统性能的一般方法。在此基础上,进一步讨论了局域网中的 CSMA/CD 方式,并将此方法扩展到令牌总线方式上,为分析系统的物理特性和结构设计
自“面向对象的数据库系统宣言”和“第三代数据库系统宣言”相继发表之后,当今数据库论战卷土重来。本文作者根据这两个宣言,详细讨论了这两大阵营在理论、观点和技术上的异
<正>在认知、问题求解、概念学习以及其它的许多智能活动中,推理是一个极为重要的过程。自动推理的研究早在1956年就已经开始了。目前对自动推理的研究,大体上可分为三个主要
<正>一引言早在五十年代,Newell和Simon等人就致力于通用问题求解程序(GPS)的研究,希望找出模拟人类智能活动的通用表示和求解方法,但GPS以牺牲效率换取通用性,难于求解有大
1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态
<正> 目前,许多新的应用都要求数据库系统提供扩展功能,以便用户随时可以定义自己的数据类型及其操作。但是,传统的数据库系统无论在数据模型,还是在存储结构及其存取方法等
本文是 John McCarthy 在1984年 AAAI 会议上的主题发言。McCarthy 提出需要确立 AI 研究的衡量准则,以推动 AI 基础研究。这些准则主要包括三个方面:普遍性,容忍性(如框架问
一、引言众所周知,DSS 的含义是利用数据和模型来支持中高级管理决策人员解决半结构或非结构化问题的计算机信息系统。然而实际情况并非如此,绝大多数个人 DSS 支持的是专业
本文简要介绍利用专家系统的概念、实现方法与决策支持系统的开发技术相结合的一种基于知识决策支持系统 KB-DSS 的结构设计及其特点,着重阐述了 KB-DSS 的核心部份——问题