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

A Survey of Verification Techniques for Parallel Programs, Howard Barringer

Automatic Performance Prediction of Parallel Programs, Thomas Fahringer

Termination Proofs for Logic Programs, Lutz Plümer

Parallel Computers: Object-Oriented, Functional, Logic, P.C. Treleaven

Executing Temporal Logic Programs, Ben C. Moszkowski

Kellaway, Jean The History Of Torture Et Exécution / Jean Kellaway 2003 Hardcov

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