Kima: An automated error correction system for concurrent logic programs
From MaRDI portal
Publication:1857277
DOI10.1023/A:1013232219911zbMath1034.68569arXivcs/0012007MaRDI QIDQ1857277
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
68U99: Computing methodologies and applications
68N17: Logic programming
68N01: General topics in the theory of software
Related Items
Uses Software