Kima - An automated error correction system for concurrent logic programs

Yasuhiro Ajiro, Kazunori Ueda

    Research output: Contribution to journalArticle

    1 Citation (Scopus)
    Original languageEnglish
    Pages (from-to)122-137
    Number of pages16
    JournalComputer Software
    Volume18
    Publication statusPublished - 2000

    Fingerprint

    Error correction

    ASJC Scopus subject areas

    • Software

    Cite this

    Kima - An automated error correction system for concurrent logic programs. / Ajiro, Yasuhiro; Ueda, Kazunori.

    In: Computer Software, Vol. 18, 2000, p. 122-137.

    Research output: Contribution to journalArticle

    @article{182f4b355fd94b6a8a3b2df8d807fce8,
    title = "Kima - An automated error correction system for concurrent logic programs",
    author = "Yasuhiro Ajiro and Kazunori Ueda",
    year = "2000",
    language = "English",
    volume = "18",
    pages = "122--137",
    journal = "Computer Software",
    issn = "0289-6540",
    publisher = "Japan Society for Software Science and Technology",

    }

    TY - JOUR

    T1 - Kima - An automated error correction system for concurrent logic programs

    AU - Ajiro, Yasuhiro

    AU - Ueda, Kazunori

    PY - 2000

    Y1 - 2000

    UR - http://www.scopus.com/inward/record.url?scp=0008402571&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0008402571&partnerID=8YFLogxK

    M3 - Article

    AN - SCOPUS:0008402571

    VL - 18

    SP - 122

    EP - 137

    JO - Computer Software

    JF - Computer Software

    SN - 0289-6540

    ER -