DEBL: a knowledge-based language for specifying and debugging programs
W.-H. S. Cheug, Virgil Eugene Wallentine · 1989
This paper describes a knowledge-based language-DEBL which integrates specification and debugging features for distributed programs. It provides programming language independent facilities which makes it adaptable to different programming environments. The semantics of DEBL is based on a temporal logic system which enhances DEBL with rigorous deduction power. The items in the knowledge-base form a hierarchy in which higher level and more complex logical concepts are constructed from lower and simpler ones.