CLPKIDS: A Program Analysis System for Concurrent Logic Programs.

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Browse the full COMPSAC paper archive.