next up previous contents
Next: Or-parallelism: Up: Compile Time Analysis Previous: Compile Time Analysis

Compile-time Analysis for Parallelism

We have already mentioned in a preceding section some types of information that can be useful to collect at compile time, and the way in which such information can be applied to improve sequential execution of logic programming languages. In this section we will concentrate on the possibilities of compile-time analysis (and more specifically abstract interpretation) for helping parallel execution of logic programming.

Tue Mar 19 14:37:09 MST 1996