DEBL: A Knowledge-Based Language for Specifying and Debugging Distributed Programs.
Wan-Hong S. ChengVirgil WallentinePublished in: Commun. ACM (1989)
Keyphrases
- programs written
- programming language
- control structures
- distributed systems
- natural language
- computer programs
- object oriented languages
- java programs
- programming environment
- distributed environment
- intermediate level
- program slicing
- computing environments
- peer to peer
- multi agent
- database languages
- hardware designs
- novice programmers
- functional programs
- description languages
- fixpoint
- dynamic logic
- logic programming language
- object oriented programming
- distributed data
- object oriented
- cooperative