首页> 外文会议>ACM symposium on Applied computing >Abstract data type support in Prolog and its relation to parallelism

【24h】

Abstract data type support in Prolog and its relation to parallelism

机译：Prolog中的抽象数据类型支持及其与并行性的关系

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《ACM symposium on Applied computing》|1994年|P.415-419|共5页
会议地点
作者
Isambo Karali; Constantin Halatsis;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
state;

机译：州;

相似文献

外文文献
中文文献
专利

1. Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction [J] . Bruria HABERMAN Informatica . 2008,第1期

机译：在Prolog指令中实现抽象数据类型的形式和实践方面
2. On the practical need for abstraction relations to verify abstract data type representations [J] . Sitaraman M., Weide B.W. IEEE Transactions on Software Engineering . 1997,第3期

机译：关于实际需要抽象关系来验证抽象数据类型表示形式
3. NOBLE: Non-Blocking Programming Support via Lock-Free Shared Abstract Data Types [J] . Hakan Sundell, Philippas Tsigas Computer architecture news . 2008,第5期

机译：Noble：通过无锁共享抽象数据类型的无阻塞编程支持
4. AND and OR parallelism in dprolog (abstract) [C] . Ralph Zimmermann, Jerry Canada ACM annual conference on Computer science . 1986

机译：dprolog中的AND和OR并行性（抽象）
5. Abstract data types and extended domain operations in a nested relational algebra. [D] . Zheng, Yi. 2003

机译：嵌套关系代数中的抽象数据类型和扩展域操作。
6. Scientific Demonstration Abstracts. Demonstration Abstracts: Computer-Assisted Medical Decision-Support Systems: MacPharmacy: A Relational Database Adjunt to a Hypermedia-Based Physician Workstation [O] . Patricia A. Michael, R. Heath Foxlee 1990

机译：科学示范文摘。演示摘要：计算机辅助医疗决策支持系统：MacPharmacy：基于超媒体的医师工作站的关系数据库
7. Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction [O] . Bruria Haberman 2008

机译：在Prolog教学中实施抽象数据类型的正式和实践方面
8. What's past is prologue: Supporting global change research with historical data [R] . Honea, R B, Floyd, CL, Peplies, R W 1993

机译：过去是序幕：用历史数据支持全球变革研究

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号