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

Yasuhiro Ajiro; Kazunori Ueda

doi:10.11309/jssst.18.122

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

Yasuhiro Ajiro, Kazunori Ueda

School of Fundamental Science and Engineering

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Original language	English
Pages (from-to)	122-137
Number of pages	16
Journal	Computer Software
Volume	18
Issue number	4
DOIs	https://doi.org/10.11309/jssst.18.122
Publication status	Published - 2000 Jan

ASJC Scopus subject areas

Software

Access to Document

10.11309/jssst.18.122

Cite this

@article{182f4b355fd94b6a8a3b2df8d807fce8,

title = "Kima - an Automated Error Correction System for Concurrent Logic Programs.",

author = "Yasuhiro Ajiro and Kazunori Ueda",

year = "2000",

month = jan,

doi = "10.11309/jssst.18.122",

language = "English",

volume = "18",

pages = "122--137",

journal = "Computer Software",

issn = "0289-6540",

publisher = "Japan Society for Software Science and Technology",

number = "4",

}

TY - JOUR

T1 - Kima - an Automated Error Correction System for Concurrent Logic Programs.

AU - Ajiro, Yasuhiro

AU - Ueda, Kazunori

PY - 2000/1

Y1 - 2000/1

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

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

U2 - 10.11309/jssst.18.122

DO - 10.11309/jssst.18.122

M3 - Article

AN - SCOPUS:0008402571

SN - 0289-6540

VL - 18

SP - 122

EP - 137

JO - Computer Software

JF - Computer Software

IS - 4

ER -

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

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this