Concepedia

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

Wan-Hong Steve Cheng, Virgil Wallentine

Communications of the ACM · 1989 · 11 citations · 7 references

Open access

Concepts

ComputingComputer ScienceComputer SystemsDistributed SystemsKnowledge RepresentationProgramming LanguagesAbstract Syntax TreesDistributed DebuggingProgramming Language ImplementationDebugging SupportDistributed System DebuggingFormal Debugging

Abstract

DEBL provides a uniform, rigorous, and programming-language-independent environment for distributed program specification and debugging.

References

7

Time, clocks, and the ordering of events in a distributed system

Leslie Lamport · Communications of the ACM · 1978 · 8.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

UNIVERSITY OF CALIFORNIA

Kenneth B. Stoddard · Optometry and Vision Science · 1948 · 536 citations

High-level debugging of distributed systems: The behavioral abstraction approach

Peter Bates, Jack C. Wileden · Journal of Systems and Software · 1983 · 145 citations

Computing, Computer Engineering, Computer Science +13

An interval logic for higher-level temporal reasoning

Richard L. Schwartz, P. M. Melliar‐Smith, Friedrich H. Vogt · 1983 · 112 citations · Full text

Computing, Computer Science, Distributed Systems +10

Development of a debugger for a concurrent language

Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini · IEEE Transactions on Software Engineering · 1986 · 73 citations

Computing, Computer Science, Computer Systems +11