MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Kima - An Automated Error Correction System for Concurrent Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Kima – an Automated Error Correction System for Concurrent Logic Programs
by Yasuhiro Ajiro, Kazunori Ueda — 2000 — AADEBUG 2000
…, August 28–30, 2000 Kima – an Automated Error Correction System for Concurrent Logic Programs Yasuhiro…
Cited by 4 (3 self) – Add To MetaCart

Kima: an Automated Error Correction System for Concurrent
by Logic Programs Yasuhiro, Yasuhiro Ajiro, Kazunori Ueda — 2001 — In Japanese
…Kima: an Automated Error Correction System for Concurrent Logic Programs † Yasuhiro Ajiro…
Add To MetaCart

Automated Programming Framework Using
by Constraint-Based Static Analysis, Yasuhiro Ajiro
… are correct. Kima is an automated error correction system for concurrent logic programs based on static…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB