Static and dynamic slicing of constraint logic programs
From MaRDI portal
Publication:1857275
DOI10.1023/A:1013280119003zbMath1034.68678arXivcs/0012014MaRDI QIDQ1857275
Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Małuszyński
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/0012014
68U99: Computing methodologies and applications
68N17: Logic programming
68N01: General topics in the theory of software
Related Items
Uses Software