scientific article; zbMATH DE number 4162248

MaRDI QIDQ3489440zbMATH OpenFDO

Authors B. Schend

Publication date 1989

zbMATH Keywords

AND- parallelismparallel logic programmingprocess-based program execution

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3942996
• An execution model for exploiting AND-parallelism in logic programs
• scientific article; zbMATH DE number 4045121
• scientific article; zbMATH DE number 516999
• scientific article; zbMATH DE number 992012
• Theory and practice of parallelism detection in sequential programs
• And—or parallelism on shared-memory multiprocessors
• Revisiting sequential composition in process calculi
• scientific article; zbMATH DE number 4051578

Cited in

(2)

• Efficient backward execution in AND/OR process model
• A methodology for detecting shared variable dependencies in logic programs

This page was built for publication:

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