Abstract interpretation, bug detection and bug diagnosis in normal logic programs
By: by Lunjin Lu.
Publisher: University of Birmingham
Published: 1994
Place of publication: Birmingham
Language: eng
Notes: Thesis (Ph.D) - University of Birmingham, Department of Computer Science, Faculty of Science, 1995.