Kima

swMATH8979MaRDI QIDQ20974FDOQ20974

Author name not available (Why is that?)

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

Cited In (7)

• An integrated framework for the diagnosis and correction of rule-based programs
• Kernel-LEAF
• TeaBag
• GHC
• DiSCiPl
• Kima: An automated error correction system for concurrent logic programs
• Title not available (Why is that?)

This page was built for software: Kima