Kima - an Automated Error Correction System for Concurrent Logic Programs

Details Kima - an Automated Error Correction System for Concurrent Logic Programs Kima - an Automated Error Correction System for Concurrent Logic Programs

2000-12-13

arxiv.org/abs/cs/0012007v3

Computer Science

Software Engineering

In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munic

Scientific paper

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. Strong moding/typing and constraint-based analysis are turning to play fundamental roles in debugging concurrent logic programs as well as in establishing the consistency of communication protocols and data types. Mode/type analysis of Moded Flat GHC is a constraint satisfaction problem with many simple mode/type constraints, and can be solved efficiently. We proposed a simple and efficient technique which, given a non-well-moded/typed program, diagnoses the ``reasons'' of inconsistency by finding minimal inconsistent subsets of mode/type constraints. Since each constraint keeps track of the symbol occurrence in the program, a minimal subset also tells possible sources of program errors. Kima realizes automated correction by replacing symbol occurrences around the possible sources and recalculating modes and types of the rewritten programs systematically. As long as bugs are near-misses, Kima proposes a rather small number of alternatives that include an intended program.

Affiliated with

Also associated with

No associations

Rating

Kima - an Automated Error Correction System for Concurrent Logic Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Kima - an Automated Error Correction System for Concurrent Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Kima - an Automated Error Correction System for Concurrent Logic Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-652525