1995/06/01 by Egon Börger, Dean Rosenzweig · 76 citations
Computer Science · #Computer science #Debugger #Debugging #Declarative programming #Formal Methods in Verification #Inductive programming #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming language #Programming paradigm #Prolog
paper · pdf · doi:10.1016/0167-6423(95)00006-e
published in Science of Computer Programming 24(3), 249-286 (Elsevier BV)
crossref issued 1995/06/01 · crossref published 1995/06/01 · crossref published-print 1995/06/01 · openalex publication_date 1995/06/01 · crossref created 2003/04/07 · crossref deposited 2019/04/17 · openalex created_date 2025/10/10 · crossref indexed 2026/05/11 · openalex updated_date 2026/08/02