Kima - An Automated Error Correction System for Concurrent Logic Programs.

Yasuhiro Ajiro, Kazunori Ueda

Browse the full APLAS paper archive.