DEBL: A Knowledge-Based Language for Specifying and Debugging Programs

Wan-Hong S. Cheug, Virgil Wallentine. DEBL: A Knowledge-Based Language for Specifying and Debugging Programs. In ACM Conference on Computer Science. pages 70-77, 1989.

Abstract

Abstract is missing.