4. ALPUK 1992: London

Program Analysis

Language and Implementation Issues

Parallelism

Applications in Logic

Tutorials