Wan-Hong S. Cheng – Communications of the ACM

Research and Advances Sep 1 1989

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

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.