Independent and-parallelization of logic programs using static slicing

MaRDI QIDQ2770772zbMATH OpenFDO

Authors J. Paakki, T. Gyimóthy, T. Horváth

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Static analysis of logic programs for independent and parallelism
• Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
• scientific article; zbMATH DE number 3942996
• Logic Programming
• An execution model for exploiting AND-parallelism in logic programs
• scientific article; zbMATH DE number 4045121
• Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
• Annotation of logic programs for independent AND-parallelism by partial evaluation

Cited in

(5)

• Independence in dynamically scheduled logic languages
• Static analysis of logic programs for independent and parallelism
• Annotation of logic programs for independent AND-parallelism by partial evaluation
• A backward slicing algorithm for Prolog
• A parallel algorithm for static program slicing

This page was built for publication: Independent and-parallelization of logic programs using static slicing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2770772)