Kima - an Automated Error Correction System for Concurrent Logic Programs

Yasuhiro Ajiro, Kazunori Ueda

We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici…