排序方式: 共有47条查询结果,搜索用时 15 毫秒
1.
在Lyusia这一多层次多体裁人工智能语言的基础上,构成类,各类之间以(单)继承关系相联系.象A—Little—Smalltalk那样规模,不采用元类.主程序也是一个类,起动主程序意味着“生成一个主程序的实例(对象),并与之进行消息传递”;由此,动态地形成“变动着的各对象及其间消息传递”的网,开展计算.本文概略地介绍Lyusia语言,以此描述类的构造.提出主程序作为一个类,及其起动机制,并举例说明.统观之,作为类的实例的对象,是一种多层次多体裁的微观胞腔,类是这些胞腔的模板.程序及其计算的开展则是“相互地以消息传递联系起来的纯一的各微观胞腔(对象)的、动态地变更其构形的宏观网”. 相似文献
2.
3.
Lyusia语言是一种多体裁的人工智能语言,它由五种编程体裁(泛函的,逻辑的,集合论的,状态转移的,数据流的)有机地协调地统一而成,其中有状态转移编程体裁。而状态转移编程体裁实质上又是过程编程体裁与基于法则的编程体裁的结合,并且,还蕴含着数据流(Petri网的一种特殊形式)编程体裁。本文从谓词/事件网的角度,为Lyusia语言中的状态转移编程体栽奠定一种逻辑网的语义学。 相似文献
4.
就语言成份来说,函数式程序设计(FP)语言是相当简单的,它只有函数和对象这样两种成份。从这一方面看来,它有些象机器语言。在另一方面,当运用FP语言设计中等以上规模的程序时,也应该考虑采用已行之有效的各种程序设计方法,其中有“逐步求精”、数据抽象、模块法等。FP语言天生具有描述能力上逐步求精的特质。然而,它却不具变量和抽象数据类型这些设施,使它不能象某些传统语言那样,可直接适应于数据抽象、模块法这些程序设计方法(事实上,这些传统语言正是面向这些程序设计方法而设计出来的)。本文旨在揭示:在保持FP语言的简单性和纯洁性的原则下,无需设计和引入专门的相应于数据抽象的语言成份到FP语言中来,FP语言本身也能表示数据抽象。文中提出关键函数和通讯函数型以及与此有关的一些概念,它们都不超越FP系统的范围。利用这些函数和函数型所表示成的数据抽象,具有模块的必要性质。文中用例阐明了数据抽象在FP系统中的表示。 相似文献
5.
6.
江明德 《计算机工程与设计》1985,(2)
本文探讨LL(1)/L—属性文法在函数式程序设计(FP)系统中表示的可能性,提出“将此类属性文法转换成FP程序”的法则,从而,属性文法实现成为FP系统中可执行的程序。本文工作的意义之一在于:它开拓了“使数据制导的程序设计方法在FP系统中得以自动化”这样一个领域,并作了初步工作。 相似文献
7.
本文提出一种优先级硬件线路方案,以扩充M6800的中断优先级处理功能,使之适应Modula的应用环境所要求的实时多道程序设计。在此基础上探讨了Modula所特有的设备模块(device module)这一语言成分在实际中的一些问题,主要是设备进程中doio、wait、send等诸语句的实现以及与此有关问题。图2幅,附录2个,参考文献5种。 相似文献
8.
■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的牵连。 相似文献
9.
10.
本文比较了真空管放大器和半导体放大器线路的基本理论,从它们差别的原因找出统一化的可能性。系全苏无线电工学与电信科学技技术协会在纪念1955年的无线电日的科学常会上宣读过的报告的扩充提纲。 相似文献