BINDING TECHNIQUES AND GARBAGE COLLECTION FOR OR-PARALLEL CLP SYSTEMS

被引：0

作者：

DOROCHEVSKY, M

VERON, A

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 631卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

ElipSys is the first system combining in one environment OR-parallel execution facilities, advanced AND-execution paradigms such as coroutining and constraints satisfaction on finite domains and a complete garbage collector. This paper reports on the issues involved in combining these features into one system. A data structure called consecutively updatable field is depicted which fulfills the concomitant requirements of OR-parallelism, non left-to-right computation rules and garbage collection.

引用

页码：39 / 53

页数：15