IEEE - Institute of Electrical and Electronics Engineers, Inc. - An automatic debugging approach for logic programming with a method for propagating constraints

Author(s): Fukaya, T. ; Nagata, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Tokyo, Japan
Conference Date: 11 September 1991
Page(s): 418 - 423
ISBN (Paper): 0-8186-2152-4
DOI: 10.1109/CMPSAC.1991.170215
Regular:

Focusing on logic programming, a practical method is proposed for verifying and debugging large programs invoking many subprograms. If a programmer gives a few simple constraints on arguments of... View More

Advertisement