DEBL: a knowledge-based language for specifying and debugging programs

  title={DEBL: a knowledge-based language for specifying and debugging programs},
  author={Wan-Hong S. Cheug and Virgil Wallentine},
  booktitle={CSC '89},
  • Wan-Hong S. Cheug, Virgil Wallentine
  • Published in CSC '89 1989
  • Computer Science
  • 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… CONTINUE READING

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper