Program Development in Computational Logic 2004

Specification and Synthesis

Semantics

Analysis

Transformation and Specialisation

Termination

Systems