TY - CONF N2 - 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 intrinsic complexity of exploiting NSI. This is related to the fact that NSI cannot be determined "a priori" as SI. This paper filis this gap by developing a technique for compile-time detection and annotation of NSI. It also proposes algorithms for combined compiletime/ run-time detection, presenting novel run-time checks for this type of parallelism. Also, a transformation procedure to eliminate shared variables among parallel goals is presented, aimed at performing as much work as possible at compile-time. The approach is based on the knowledge of certain properties regarding the run-time instantiations of program variables ?sharing and freeness? for which compile-time technology is available, with new approaches being currently proposed. Thus, the paper does not deal with the analysis itself, but rather with how the analysis results can be used to parallelize programs. A1 - Cabeza Gras, Daniel A1 - Hermenegildo, Manuel V. SN - 3540584854 PB - Springer-Verlag M2 - Namur (Belgium) Y1 - 1994/// KW - Parallel execution of logic programs KW - Compilation techniques KW - Generation of annotations for parallelism KW - Abstract interpretation KW - Non-strict independent and-parallelism KW - Técnicas de compilación KW - Generación de anotaciones para paralelismos KW - Ejecución paralela de programación lógica KW - Interprateción de resúmenes. EP - 465 AV - public UR - https://oa.upm.es/14440/ VL - 864 TI - Extracting non-strict independent and-parallelism using sharing and freeness information ID - upm14440 T2 - 1994 International Static Analysis Symposium ER -