
mode inference for concurrent logic programs
Hi,
I am looking for any algorithm for mode inference for concurrent logic programs, papers, reports, and any references.
Any information would be appreciated very much.
Jianjun Zhao
Kyushu University, Japan