Kima

MaRDI QIDQ20974swMATHFDO

Official website http://link.springer.com/article/10.1023/A:1013232219911

Cited in

(8)

• An integrated framework for the diagnosis and correction of rule-based programs
• BABEL
• Kernel-LEAF
• TeaBag
• GHC
• DiSCiPl
• scientific article; zbMATH DE number 1926605 (Why is no real title available?)
• Kima: An automated error correction system for concurrent logic programs

This page was built for software: Kima