Designing and Building Parallel Programs: Concepts and Tools for Parallel Softwa

Crime Policy in America: Laws, Institutions, and Programs

Termination Proofs for Logic Programs, Lutz Plümer

Designing Efficient Algorithms for Parallel Computers, Michael J. Quinn

Variations on Constants: Flow Analysis of Sequential and Parallel Programs, Mark

A Survey of Verification Techniques for Parallel Programs, Howard Barringer

Automatic correction and improvement of programs (Ellis Horwood books in computi

Parallel Execution of Logic Programs, J.S. Conery