<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Compile-time derivation of variable dependency\r\nusing abstract interpretation"^^ . "Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting runtime\r\ngoal independence, which can eliminate costly run-time checks in and-parallel execution. In this paper, a new algorithm for doing abstract interpretation in logic programs is described which concentrates on inferring the dependencies of the terms bound to program variables with increased precisión and at all points in the execution of the program, rather than just at a procedure level.\r\nAlgorithms are presented for computing abstract entry and success substitutions which extensively keep track of variable aliasing and term dependence information. In addition, a new, abstract domain independent ñxpoint algorithm is presented and described in detail. The algorithms are illustrated with examples. Finally, results from an implementation of the abstract interpreter are\r\npresented."^^ . "1992-07" . . . "13" . "2/3" . . "Elsevier - North-Holland"^^ . . . "Journal of logic programming"^^ . . . "15678326" . . . . . . . . . . "Manuel V."^^ . "Hermenegildo"^^ . "Manuel V. Hermenegildo"^^ . . "Kalyan"^^ . "Muthukumar"^^ . "Kalyan Muthukumar"^^ . . . . . . "Compile-time derivation of variable dependency\r\nusing abstract interpretation (PDF)"^^ . . . "HERME_A_1992-2.pdf"^^ . . . "Compile-time derivation of variable dependency\r\nusing abstract interpretation (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Compile-time derivation of variable dependency\r\nusing abstract interpretation (Other)"^^ . . . . . . "indexcodes.txt"^^ . . . "Compile-time derivation of variable dependency\r\nusing abstract interpretation (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Compile-time derivation of variable dependency\r\nusing abstract interpretation (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Compile-time derivation of variable dependency\r\nusing abstract interpretation (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #14291 \n\nCompile-time derivation of variable dependency \nusing abstract interpretation\n\n" . "text/html" . . . "Informática"@es . "Computer Science"@en . .