Research indexBook chapter

Debugging logic programs using specifications

Lee, Dershowitz

Lecture notes in computer science22 Nov 2005

NobleIDark:/48914/w1/20260521/341C6565DOI10.1007/bfb0019401

Book chapter

Debugging logic programs using specifications

Lee, Dershowitz · Lecture notes in computer science · 22 Nov 2005

NobleIDark:/48914/w1/20260521/341C6565DOI10.1007/bfb0019401

The full text is at the publisher

Open it at the publisher to read it.

Discussion

Citations

3Cited by

17References

Topics

Debugging Executable Programming language Computer science Algorithmic program debugging Software engineering Test (biology)

More

Suggest a correction or report