ACM Transactions on Programming Languages and Systems January 1994: Vol 16, Nr 1 Purpose and Scope Determinacy Testing for Nondeterminate Logic Programming Languages Experimental Evaluatin of a Generic Abstract Interpretation Algorithm for Prolog Cliché-Based Program Editors The PROLYLITH Software Bus