Kima: An automated error correction system for concurrent logic programs

DOI10.1023/A:1013232219911zbMath1034.68569arXivcs/0012007OpenAlexW1810358210MaRDI QIDQ1857277

Yasuhiro Ajiro, Kazunori Ueda

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0012007

zbMATH Keywords

typesstatic analysisconstraint satisfactiondebuggingconcurrent logic programming

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17) General topics in the theory of software (68N01)

Related Items (1)

An integrated framework for the diagnosis and correction of rule-based programs

Uses Software

• Kima
• GHC

This page was built for publication: Kima: An automated error correction system for concurrent logic programs