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

Authors:
W.-H. S. Cheug;V. E. Wallentine
Affiliations:
Dept. of Computing and Information Sciences, Kansas State University, Manhattan, KS;Dept. of Computing and Information Sciences, Kansas State University, Manhattan, KS
Venue:
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Year:
1989

Citing 8
Cited 0

Executing temporal logic programs

Executing temporal logic programs
Development of a debugger for a concurrent language

IEEE Transactions on Software Engineering
TSL: task sequencing language

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic
An interval logic for higher-level temporal reasoning

PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A knowledge-based system for debugging concurrent software (ada, temporal logic)

A knowledge-based system for debugging concurrent software (ada, temporal logic)
A knowledge-based system for debugging distributed programs

A knowledge-based system for debugging distributed programs

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.