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 explicit declarations of program properties.

论文关键词：concurrent logic programming, types, static analysis, debugging, constraint satisfaction

论文评审过程：

论文官网地址：https://doi.org/10.1023/A:1013232219911