1) WAM
Warren抽象机(WAW)
2) WARREN abstract machine
WARREN抽象机
1.
The main contents of this paper are:semantic and syntactic extention of Prolog, augmentation and modification of WARREN abstract machine, important components and running procedure of the compiler, and seven d.
本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;编译器的主要构成模块和运行流程;语言语法结构编码的七条定义规则,并在附录中给出了编译实例。
3) abstract machine
抽象机
1.
The Implementation and Application of B-Method in Abstract Machine Library;
论B方法在抽象机库中的实践与应用
2.
By using B method,this paper models elevator control system as an abstract machine,proves its liveness and auto-generates the software,advances the reliability and stability of elevator control system.
文中使用B方法对电梯控制系统建立了抽象机模型并对其进行活性证明,自动生成相应软件,提高了电梯控制系统的可靠性和稳定性。
3.
This paper discusses some problems about the combination of multiple knowledge representation paradigms, and describes the implementation of the abstract machine of the HEST.
本文讨论多种知识表示模式结合的一些问题,并设计了一个面向逻辑函数相结合的知识表示语言的抽象机。
4) B abstract machine
B抽象机
5) warren's abstract machine
WAM抽象机
6) abstract mechanism
抽象机制
1.
In this paper,the necessity and function of the abstract mechanism in solving the programming prob-lems by computer are expounded,Then the abstract mechanism of process-oriented and object-oriented program-ming language are analyzed.
论述了抽象机制在计算机解决问题中的作用和必要性,并对面向过程和面向对象两类程序设计语言的抽象机制进行分析研究,讨论了它们之间的区别和联系,旨在引导计算机学习者掌握抽象工具解决实际问题。
补充资料：Warren手术
Warren手术
Warren operation
即“远端脾肾分流术”。详见该条目。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条