Sciweavers

APLAS   2000 Asian Symposium on Programming Languages and Systems
Wall of Fame | Most Viewed APLAS-2000 Paper
APLAS
2000
ACM
14 years 3 months ago
Kima - An Automated Error Correction System for Concurrent Logic Programs
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...
Yasuhiro Ajiro, Kazunori Ueda
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source149
2Download preprint from source122
3Download preprint from source121
4Download preprint from source111
5Download preprint from source107
6Download preprint from source98