A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Extracting Non-strict independent and-parallelism using sharing and freeness information
[chapter]
1994
Lecture Notes in Computer Science
Logic programming systems which exploit and-parallelism among non-deterministic goals rely on notions of independence among those goals in order to ensure certain efficiency properties. "Non-strict" independence (NSI) is a more relaxed notion than the traditional notion of "strict" independence (SI) which still ensures the relevant efficiency properties and can allow considerable more parallelism than SI. However, all compilation technology developed to date has been based on SI, because of the
doi:10.1007/3-540-58485-4_48
fatcat:e7pjsvjfl5ctpdqnr5lxwwdmj4