Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines

Lourdes Araujo

首页> 外文期刊>Journal of Universal Computer Science >Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines

【24h】

Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines

机译：借助抽象状态机的分布式Prolog实现的正确性证明

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This work provides both a specification and a proof of correctness for the system PDP (Prolog Distributed Processor) which make use of Abstract State Machines (ASMs). PDP is a recomputation-based model for parallel execution of Prolog on distributed memor

机译：这项工作为使用抽象状态机（ASM）的系统PDP（Prolog分布式处理器）提供了规范和正确性的证明。 PDP是用于分布式内存上并行执行Prolog的基于计算的模型

著录项

来源
《Journal of Universal Computer Science》 |1997年第5期|共35页
作者
Lourdes Araujo;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Using bisimulation proof techniques for the analysis of distributed abstract machines [J] . Damien Pous Theoretical computer science . 2008,第2a3期

机译：使用双仿真证明技术来分析分布式抽象机
2. Safe Ambients: Abstract machine and distributed implementation [J] . Paola Giannini, Davide Sangiorgi, Andrea Valente Science of Computer Programming . 2006,第3期

机译：安全环境：抽象机器和分布式实现
3. Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction [J] . Bruria HABERMAN Informatica . 2008,第1期

机译：在Prolog指令中实现抽象数据类型的形式和实践方面
4. System description: teyjus-a compiler and abstract machine based implementation of #lambda# prolog [C] . Gopalan Nadathur, Dustin J. Mitchell International conference on automated deduction . 1999

机译：系统描述：Teyjus-A编译器和抽象的机器基于＃lambda＃prolog的实现
5. Abstract Graph Machine: Modeling Orderings in Asynchronous Distributed-Memory Parallel Graph Algorithms [D] . Kanewala, Thejaka Amila. 2018

机译：抽象图机：异步分布式内存并行图算法中的建模顺序
6. Strengthening Government Leadership in Family Planning Programming in Senegal: From Proof of Concept to Proof of Implementation in 2 Districts [O] . Barry Aichatou, Cheikh Seck, Thierno Souleymane Baal Anne, 2016

机译：加强塞内加尔计划生育计划中的政府领导：从概念证明到两区实施的证明
7. An abstract machine to implement or-and parallel PROLOG efficiently [O] . de Kergommeaux J.Chassin, Robert P. 1990

机译：一种有效实现或并行PROLOG的抽象机
8. Short Note on Achievable LIP Rates Using the Warren Abstract Prolog Machine. [R] . Gabriel, J., Lindholm, T. G., Lusk, E. L., 1984

机译：使用Warren abstract prolog机器获得可实现的LIp率的简短说明。

Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines

摘要

著录项

相似文献

相关主题

期刊订阅