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

Yasuhiro Ajiro, Kazunori Ueda

研究成果: Article › 査読

1 被引用数 (Scopus)

ASJC Scopus subject areas

@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

VL - 18

SP - 122

EP - 137

JO - Computer Software

JF - Computer Software

SN - 0289-6540

IS - 4

ER -